Resolved.Type
type t = [
| `Identifier of Paths.Identifier.Path.Type.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 of_ident : Identifier.Path.Type.t -> t
val identifier : t -> Identifier.Path.Type.t
val canonical_ident : t -> Identifier.Path.Type.t option