Module Resolved.ModuleType

type t = [
| `Identifier of Identifier.Path.ModuleType.t
| `SubstT of t * t
| `CanonicalModuleType of t * ModuleType.t
| `AliasModuleType of t * t
| `ModuleType of Module.t * Names.ModuleTypeName.t
| `OpaqueModuleType of t
]
val is_hidden : t -> bool
val identifier : t -> Identifier.Path.ModuleType.t
val canonical_ident : t -> Identifier.Path.ModuleType.t option