AstHelpers.Cty
type t
val arrow : loc:loc -> Typ.t -> t -> t
val constr : loc:loc -> Ppxlib.longident -> Typ.t list -> t