CamlinternalQuote.Type
type t
val var : Var.Type_var.t option -> t
val arrow : Label.t -> t -> Modes.t -> t -> Modes.t -> t
val tuple : (Label.Nonoptional.t * t) list -> t
val unboxed_tuple : (Label.Nonoptional.t * t) list -> t
val constr : Identifier.Type.t -> t list -> t
val object_ : Object_type.t -> t
val class_ : Name.t -> t list -> t
val alias : t -> Var.Type_var.t -> t
val variant : Variant_type.t -> t
val poly : Loc.t -> Name.t list -> (Var.Type_var.t list -> t) lam -> t
val package : Module_type.t -> (Modtype_path.t * t) list -> t
val quote : t -> t
val call_pos : t