| ModuleHidden PackageId
-- for an explicit source import: the package containing the module is
-- exposed, but the module itself is hidden.
| ModuleHidden PackageId
-- for an explicit source import: the package containing the module is
-- exposed, but the module itself is hidden.