Holds if this module is an open
module, that is,
it grants access at run time to types in all its packages,
as if all packages had been exported.
predicate
isOpen
(
)