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