Resolved.Module
Sourcetype t = [
| `Identifier of Identifier.Path.Module.t
| `Subst of ModuleType.t * t
| `Hidden of t
| `Module of t * Names.ModuleName.t
| `Canonical of t * Module.t
`Canonical (mod, canonical)
| `Apply of t * t
`Apply (functor, argument)
| `Alias of t * Module.t
Resolved dest
*)| `OpaqueModule of t
]