Resolved.ModuleType
Sourcetype 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
]