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