Member predicate AnnotatedType::isReadonlyRef
Holds if the type is a ref readonly
, for example the return type of ref readonly int F()
.
predicate isReadonlyRef()
Holds if the type is a ref readonly
, for example the return type of ref readonly int F()
.
predicate isReadonlyRef()