Member predicate Variable::Field::isReadOnly

Holds if this field is readonly.

predicate isReadOnly()