Member predicate Member :: isRequired
Holds if this member is declared required
.
predicate
isRequired
(
)