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
(
)