Member predicate Modifiable::isExtern

Holds if this declaration is extern.

predicate isExtern()