Member predicate ValueOrRefType :: isRecord
Holds if this type is a record
.
predicate
isRecord
(
)