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