Fragment.Resolved
module Signature : sig ... end
module Module : sig ... end
module ModuleType : sig ... end
module Type : sig ... end
type 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