Path.Resolvedmodule Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endmodule ClassType : sig ... endtype t = [ | `Identifier of Identifier.t |
| `Subst of ModuleType.t * Module.t |
| `Hidden of Module.t |
| `Module of Module.t * Names.ModuleName.t |
| `Canonical of Module.t * Module.t |
| `Apply of Module.t * Module.t |
| `Alias of Module.t * Module.t |
| `AliasModuleType of ModuleType.t * ModuleType.t |
| `OpaqueModule of Module.t |
| `ModuleType of Module.t * Names.ModuleTypeName.t |
| `CanonicalModuleType of ModuleType.t * ModuleType.t |
| `SubstT of ModuleType.t * ModuleType.t |
| `OpaqueModuleType of ModuleType.t |
| `CanonicalType of Type.t * Type.t |
| `Type of Module.t * Names.TypeName.t |
| `Class of Module.t * Names.ClassName.t |
| `ClassType of Module.t * Names.ClassTypeName.t |
| `Class of Module.t * Names.ClassName.t |
| `ClassType of Module.t * Names.ClassTypeName.t |
]val identifier : t -> Identifier.t