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
]