PpxHelpers.Typ
type t = Ppxlib.core_type
val constr :
loc:Astlib.Location.t ->
Astlib.Longident.t ->
Parsetree.core_type list ->
Parsetree.core_type
val of_type_arg : loc:Ppxlib.location -> Ppxlib.core_type -> Ppxlib.core_type
val use_tdecl : Ppxlib.type_declaration -> Parsetree.core_type
val of_longident :
loc:Astlib.Location.t ->
Astlib.Longident.t ->
Parsetree.core_type
val access2 : loc:Astlib.Location.t -> string -> string -> Parsetree.core_type
val ident : loc:Astlib.Location.t -> string -> Parsetree.core_type
val sprintf :
loc:Astlib.Location.t ->
('a, unit, string, Parsetree.core_type) format4 ->
'a
val string : loc:Astlib.Location.t -> Parsetree.core_type
val pair :
loc:Astlib.Location.t ->
Parsetree.core_type ->
Parsetree.core_type ->
Parsetree.core_type
val var : loc:Astlib.Location.t -> string -> Parsetree.core_type
val any : loc:Astlib.Location.t -> Parsetree.core_type
val unit : loc:Ppxlib.location -> Ppxlib_ast.Ast.core_type
val object_ :
loc:Astlib.Location.t ->
Asttypes.closed_flag ->
(Ppxlib.label * Ppxlib.core_type) list ->
Parsetree.core_type
val package :
loc:Astlib.Location.t ->
Astlib.Longident.t Astlib.Location.loc ->
Parsetree.core_type
val arrow :
loc:Astlib.Location.t ->
Parsetree.core_type ->
Parsetree.core_type ->
Parsetree.core_type
val tuple :
loc:Astlib.Location.t ->
Parsetree.core_type list ->
Parsetree.core_type
val class_ :
loc:Astlib.Location.t ->
Astlib.Longident.t ->
Parsetree.core_type list ->
Parsetree.core_type
val chain_arrow :
loc:Astlib.Location.t ->
Parsetree.core_type list ->
Parsetree.core_type
val variant :
loc:Astlib.Location.t ->
?is_open:bool ->
Parsetree.row_field list ->
Parsetree.core_type
val variant_of_t :
loc:Ppxlib.location ->
Ppxlib_ast.Ast.core_type ->
Ppxlib_ast.Ast.core_type
val alias :
loc:Astlib.Location.t ->
Parsetree.core_type ->
string ->
Parsetree.core_type
val poly :
loc:Astlib.Location.t ->
string list ->
Parsetree.core_type ->
Parsetree.core_type
val map :
onvar:(string -> Ppxlib.core_type option) ->
Ppxlib.core_type ->
Ppxlib.core_type
val openize :
loc:Ppxlib.location ->
?as_:string ->
Ppxlib_ast.Ast.core_type ->
Parsetree.core_type