Module Resolved.Module

type t = [
  1. | `Identifier of Identifier.Path.Module.t
  2. | `Subst of ModuleType.t * t
  3. | `Hidden of t
  4. | `Module of t * Names.ModuleName.t
  5. | `Canonical of t * Module.t
  6. | `Apply of t * t
  7. | `Alias of t * t
  8. | `OpaqueModule of t
]
val of_ident : Identifier.Path.Module.t -> t
val is_hidden : t -> bool
val identifier : t -> Identifier.Path.Module.t
val canonical_ident : t -> Identifier.Path.Module.t option