Member predicate Field :: isReadonlyRef
Holds if this is a ref readonly
field.
predicate
isReadonlyRef
(
)