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