Member predicate Modifiable :: isExtern
Holds if this declaration is extern
.
predicate
isExtern
(
)