Resolved.ModuleTypetype 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 ]