Member predicate Modifiable :: isSealed
Holds if this declaration is sealed.
predicate
isSealed
(
)