Fragment.Resolvedmodule Signature : sig ... endmodule Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endtype root = [ | `ModuleType of Paths.Path.Resolved.ModuleType.t |
| `Module of Paths.Path.Resolved.Module.t |
]type t = [ | `Root of Paths.Fragment.Resolved.root |
| `Subst of Paths.Path.Resolved.ModuleType.t * Paths.Fragment.Resolved.Module.t |
| `Alias of Paths.Path.Resolved.Module.t * Paths.Fragment.Resolved.Module.t |
| `Module of Paths.Fragment.Resolved.Signature.t * Names.ModuleName.t |
| `Module_type of Paths.Fragment.Resolved.Signature.t * Names.ModuleTypeName.t |
| `Type of Paths.Fragment.Resolved.Signature.t * Names.TypeName.t |
| `Class of Paths.Fragment.Resolved.Signature.t * Names.ClassName.t |
| `ClassType of Paths.Fragment.Resolved.Signature.t * Names.ClassTypeName.t |
| `OpaqueModule of Paths.Fragment.Resolved.Module.t |
]val identifier : t -> Identifier.t