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