Member predicate Modifiable :: isConst
Holds if this declaration is const.
predicate
isConst
(
)