Member predicate Member::isSealed

Holds if this member is sealed.

predicate isSealed()