Module 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
val is_hidden : t -> bool
val identifier : t -> Identifier.Path.Type.t
val canonical_ident : t -> Identifier.Path.Type.t option