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