Resolved.Module
type t = [
|
`Subst of Path.Resolved.ModuleType.t * t
`Alias of Path.Resolved.Module.t * t
`Module of Signature.t * Names.ModuleName.t
`OpaqueModule of t
]