Resolved.Typetype 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