Resolved.ModuleTypetype t = [ | `Identifier of Paths.Identifier.Path.ModuleType.t |
| `ModuleType of Paths.Reference.Resolved.Signature.t * Names.ModuleTypeName.t |
| `AliasModuleType of Paths.Path.Resolved.ModuleType.t * Paths.Reference.Resolved.ModuleType.t |
]