Resolved.Module
type 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 |
| `Apply of t * t |
| `Alias of t * t |
| `OpaqueModule of t |
]
val of_ident : Identifier.Path.Module.t -> t
val identifier : t -> Identifier.Path.Module.t
val canonical_ident : t -> Identifier.Path.Module.t option