Resolved.Type
type t = [
|
`Identifier of Identifier.Path.Type.t
|
`CanonicalType of t * Type.t
|
`Type of Module.t * Names.TypeName.t
|
`Class of Module.t * Names.ClassName.t
|
`ClassType of Module.t * Names.ClassTypeName.t
]
val of_ident : Identifier.Path.Type.t -> t