Specification of generator arguments
val empty : ('m, 'm) t
val arg : Ppx_core.string ‑> (Ppx_core.expression, 'a ‑> 'a Ppx_core.option, 'a Ppx_core.option) Ppx_core.Ast_pattern.t ‑> 'a Ppx_core.option param
val flag : Ppx_core.string ‑> Ppx_core.bool param
Flag matches punned labelled argument, i.e. of the form ~foo
. It returns true
iff the argument is present.
For convenience, so that one can write the following without having to open both
Ast_pattern
and Type_conv.Args
:
Type_conv.Args.(empty
+> arg_option "foo" (estring __)
+> arg_option "bar" (pack2 (eint __ ** eint __))
+> flag "dotdotdot"
)
include module type of sig ... end with type (a, b, c) t := (a, b, c) Ppx_core.Ast_pattern.t
val parse : ('a, 'b, 'c) t ‑> Ppx_core.Location.t ‑> 'a ‑> 'b ‑> 'c
module Packed = Ppx_core__Ast_pattern.Packed
val __ : ('a, 'a ‑> 'b, 'b) t
val __' : ('a, 'a Ppx_core.Loc.t ‑> 'b, 'b) t
val alt_option : ('a, 'v ‑> 'b, 'c) t ‑> ('a, 'b, 'c) t ‑> ('a, 'v Ppx_core__.Import.option ‑> 'b, 'c) t
val map' : ('a, 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'd ‑> 'b) ‑> ('a, 'd, 'c) t
val map0' : ('a, 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val map1' : ('a, 'v1 ‑> 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'v1 ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val map2' : ('a, 'v1 ‑> 'v2 ‑> 'b, 'c) t ‑> f:(Ppx_core.Location.t ‑> 'v1 ‑> 'v2 ‑> 'v) ‑> ('a, 'v ‑> 'b, 'c) t
val nil : ('b Ppx_core__.Import.list, 'a, 'a) t
val (^::) : ('a, 'b, 'c) t ‑> ('a Ppx_core__.Import.list, 'c, 'd) t ‑> ('a Ppx_core__.Import.list, 'b, 'd) t
val many : ('a, 'b ‑> 'b, 'c) t ‑> ('a Ppx_core__.Import.list, 'c Ppx_core__.Import.list ‑> 'd, 'd) t
val int : Ppx_core__.Import.int ‑> (Ppx_core__.Import.int, 'a, 'a) t
val char : Ppx_core__.Import.char ‑> (Ppx_core__.Import.char, 'a, 'a) t
val string : Ppx_core__.Import.string ‑> (Ppx_core__.Import.string, 'a, 'a) t
val float : Ppx_core__.Import.float ‑> (Ppx_core__.Import.float, 'a, 'a) t
val int32 : Ppx_core__.Import.int32 ‑> (Ppx_core__.Import.int32, 'a, 'a) t
val int64 : Ppx_core__.Import.int64 ‑> (Ppx_core__.Import.int64, 'a, 'a) t
val nativeint : Ppx_core__.Import.nativeint ‑> (Ppx_core__.Import.nativeint, 'a, 'a) t
val bool : Ppx_core__.Import.bool ‑> (Ppx_core__.Import.bool, 'a, 'a) t
val cst : to_string:('a ‑> Ppx_core__.Import.string) ‑> ?equal:('a ‑> 'a ‑> Ppx_core__.Import.bool) ‑> 'a ‑> ('a, 'b, 'b) t
val none : ('b Ppx_core__.Import.option, 'a, 'a) t
val some : ('a, 'b, 'c) t ‑> ('a Ppx_core__.Import.option, 'b, 'c) t
val loc : ('a, 'b, 'c) t ‑> ('a Ppx_core.Loc.t, 'b, 'c) t
val pack0 : ('a, 'b, 'c) t ‑> ('a, Ppx_core__.Import.unit ‑> 'b, 'c) t
val nolabel : (Ppx_core__.Import.arg_label, 'a, 'a) Ppx_core__.Ast_pattern0.t
val labelled : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t
val optional : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t
val case : lhs:(Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> guard:(Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> rhs:(Ppx_core__.Import.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.case, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcl_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_constr : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_structure : (Ppx_core__.Import.class_structure, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcl_fun : (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'e) Ppx_core__.Ast_pattern0.t
val pcl_apply : (Ppx_core__.Import.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> ((Ppx_core__.Import.arg_label * Ppx_core__.Import.expression) list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_let : (Ppx_core__.Import.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_binding list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcl_constraint : (Ppx_core__.Import.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcf_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcf_inherit : (Ppx_core__.Import.override_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (string option, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcf_val : (string Ppx_core__.Import.loc * Ppx_core__.Import.mutable_flag * Ppx_core__.Import.class_field_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_method : (string Ppx_core__.Import.loc * Ppx_core__.Import.private_flag * Ppx_core__.Import.class_field_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_constraint : (Ppx_core__.Import.core_type * Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_initializer : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_attribute : (Ppx_core__.Import.attribute, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val cfk_virtual : (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val cfk_concrete : (Ppx_core__.Import.override_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_field_kind, 'a, 'c) Ppx_core__.Ast_pattern0.t
val class_infos_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> ('c Ppx_core__.Import.class_infos, 'b, 'd) Ppx_core__.Ast_pattern0.t ‑> ('c Ppx_core__.Import.class_infos, 'a, 'd) Ppx_core__.Ast_pattern0.t
val class_infos : virt:(Ppx_core__.Import.virtual_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> params:((Ppx_core__.Import.core_type * Ppx_core__.Import.variance) list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> name:(string, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> expr:('e, 'd, 'f) Ppx_core__.Ast_pattern0.t ‑> ('e Ppx_core__.Import.class_infos, 'a, 'f) Ppx_core__.Ast_pattern0.t
val class_signature : self:(Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> fields:(Ppx_core__.Import.class_type_field list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_signature, 'a, 'c) Ppx_core__.Ast_pattern0.t
val class_structure : self:(Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> fields:(Ppx_core__.Import.class_field list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_structure, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_constr : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_signature : (Ppx_core__.Import.class_signature, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcty_arrow : (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcty_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pctf_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pctf_inherit : (Ppx_core__.Import.class_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_val : (string * Ppx_core__.Import.mutable_flag * Ppx_core__.Import.virtual_flag * Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_method : (string * Ppx_core__.Import.private_flag * Ppx_core__.Import.virtual_flag * Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_constraint : (Ppx_core__.Import.core_type * Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_attribute : (Ppx_core__.Import.attribute, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val closed : (Ppx_core__.Import.closed_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val open_ : (Ppx_core__.Import.closed_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pconst_integer : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pconst_char : (char, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pconst_string : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (string option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pconst_float : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcstr_tuple : (Ppx_core__.Import.core_type list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constructor_arguments, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcstr_record : (Ppx_core__.Import.label_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constructor_arguments, 'a, 'b) Ppx_core__.Ast_pattern0.t
val constructor_declaration_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constructor_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constructor_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val constructor_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> args:(Ppx_core__.Import.constructor_arguments, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> res:(Ppx_core__.Import.core_type option, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constructor_declaration, 'a, 'd) Ppx_core__.Ast_pattern0.t
val ptyp_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_any : (Ppx_core__.Import.core_type, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ptyp_var : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp_arrow : (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val ptyp_tuple : (Ppx_core__.Import.core_type list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp_constr : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_object : ((string * Ppx_core__.Import.attributes * Ppx_core__.Import.core_type) list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.closed_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_class : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_alias : (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_variant : (Ppx_core__.Import.row_field list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.closed_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.label list option, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val ptyp_poly : (string list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_package : (Ppx_core__.Import.package_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val upto : (Ppx_core__.Import.direction_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val downto_ : (Ppx_core__.Import.direction_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pdir_none : (Ppx_core__.Import.directive_argument, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pdir_string : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pdir_int : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pdir_ident : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pdir_bool : (bool, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_ident : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_constant : (Ppx_core__.Import.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_let : (Ppx_core__.Import.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_binding list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_function : (Ppx_core__.Import.case list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_fun : (Ppx_core__.Import.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'e) Ppx_core__.Ast_pattern0.t
val pexp_apply : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> ((Ppx_core__.Import.arg_label * Ppx_core__.Import.expression) list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_match : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.case list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_try : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.case list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_tuple : (Ppx_core__.Import.expression list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_construct : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_variant : (Ppx_core__.Import.label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_record : ((Ppx_core__.Import.longident_loc * Ppx_core__.Import.expression) list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_field : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_setfield : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_array : (Ppx_core__.Import.expression list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_ifthenelse : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_sequence : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_while : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_for : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.direction_flag, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'e, 'f) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'f) Ppx_core__.Ast_pattern0.t
val pexp_constraint : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_coerce : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_send : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_new : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_setinstvar : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_override : ((string Ppx_core__.Import.loc * Ppx_core__.Import.expression) list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_letmodule : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_assert : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_lazy : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_poly : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_object : (Ppx_core__.Import.class_structure, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_newtype : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_pack : (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_open : (Ppx_core__.Import.override_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_unreachable : (Ppx_core__.Import.expression, 'a, 'a) Ppx_core__.Ast_pattern0.t
val extension_constructor_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.extension_constructor, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.extension_constructor, 'a, 'c) Ppx_core__.Ast_pattern0.t
val extension_constructor : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> kind:(Ppx_core__.Import.extension_constructor_kind, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.extension_constructor, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pext_decl : (Ppx_core__.Import.constructor_arguments, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.extension_constructor_kind, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pext_rebind : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.extension_constructor_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val include_infos_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> ('c Ppx_core__.Import.include_infos, 'b, 'd) Ppx_core__.Ast_pattern0.t ‑> ('c Ppx_core__.Import.include_infos, 'a, 'd) Ppx_core__.Ast_pattern0.t
val include_infos : mod_:('a, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> ('a Ppx_core__.Import.include_infos, 'b, 'c) Ppx_core__.Ast_pattern0.t
val label_declaration_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.label_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.label_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val label_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> mutable_:(Ppx_core__.Import.mutable_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.core_type, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.label_declaration, 'a, 'd) Ppx_core__.Ast_pattern0.t
val location : start:(Ppx_core__.Import.position, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> end_:(Ppx_core__.Import.position, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> ghost:(bool, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.location, 'a, 'd) Ppx_core__.Ast_pattern0.t
val lident : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ldot : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'a, 'c) Ppx_core__.Ast_pattern0.t
val lapply : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_binding_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_binding, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_binding : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> expr:(Ppx_core__.Import.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_declaration_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_ident : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmod_structure : (Ppx_core__.Import.structure, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmod_functor : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pmod_apply : (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_constraint : (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_unpack : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmod_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmty_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmty_ident : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_signature : (Ppx_core__.Import.signature, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_functor : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pmty_with : (Ppx_core__.Import.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.with_constraint list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmty_typeof : (Ppx_core__.Import.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_alias : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val module_type_declaration_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_type_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.module_type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val immutable : (Ppx_core__.Import.mutable_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val mutable_ : (Ppx_core__.Import.mutable_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val open_description_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.open_description, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.open_description, 'a, 'c) Ppx_core__.Ast_pattern0.t
val open_description : lid:(Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> override:(Ppx_core__.Import.override_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.open_description, 'a, 'c) Ppx_core__.Ast_pattern0.t
val override : (Ppx_core__.Import.override_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val fresh : (Ppx_core__.Import.override_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ppat_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_any : (Ppx_core__.Import.pattern, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ppat_var : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_alias : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_constant : (Ppx_core__.Import.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_interval : (Ppx_core__.Import.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.constant, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_tuple : (Ppx_core__.Import.pattern list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_construct : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_variant : (Ppx_core__.Import.label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_record : ((Ppx_core__.Import.longident_loc * Ppx_core__.Import.pattern) list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.closed_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_array : (Ppx_core__.Import.pattern list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_or : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_constraint : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_type : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_lazy : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_unpack : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_exception : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr : (Ppx_core__.Import.structure, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig : (Ppx_core__.Import.signature, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp : (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat : (Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.payload, 'a, 'c) Ppx_core__.Ast_pattern0.t
val position : fname:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> lnum:(int, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> bol:(int, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> cnum:(int, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.position, 'a, 'e) Ppx_core__.Ast_pattern0.t
val private_ : (Ppx_core__.Import.private_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val public : (Ppx_core__.Import.private_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val nonrecursive : (Ppx_core__.Import.rec_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val recursive : (Ppx_core__.Import.rec_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val rtag : (Ppx_core__.Import.label, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.attributes, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (bool, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.core_type list, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.row_field, 'a, 'e) Ppx_core__.Ast_pattern0.t
val rinherit : (Ppx_core__.Import.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.row_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val psig_value : (Ppx_core__.Import.value_description, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_type : (Ppx_core__.Import.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_declaration list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val psig_typext : (Ppx_core__.Import.type_extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_exception : (Ppx_core__.Import.extension_constructor, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_module : (Ppx_core__.Import.module_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_recmodule : (Ppx_core__.Import.module_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_modtype : (Ppx_core__.Import.module_type_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_open : (Ppx_core__.Import.open_description, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_include : (Ppx_core__.Import.include_description, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_class : (Ppx_core__.Import.class_description list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_class_type : (Ppx_core__.Import.class_type_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_attribute : (Ppx_core__.Import.attribute, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.attributes, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.signature_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_loc : (Ppx_core__.Import.location, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_eval : (Ppx_core__.Import.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.attributes, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_value : (Ppx_core__.Import.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_binding list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_primitive : (Ppx_core__.Import.value_description, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_type : (Ppx_core__.Import.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_declaration list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_typext : (Ppx_core__.Import.type_extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_exception : (Ppx_core__.Import.extension_constructor, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_module : (Ppx_core__.Import.module_binding, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_recmodule : (Ppx_core__.Import.module_binding list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_modtype : (Ppx_core__.Import.module_type_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_open : (Ppx_core__.Import.open_description, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_class : (Ppx_core__.Import.class_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_class_type : (Ppx_core__.Import.class_type_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_include : (Ppx_core__.Import.include_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_attribute : (Ppx_core__.Import.attribute, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_extension : (Ppx_core__.Import.extension, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.attributes, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptop_def : (Ppx_core__.Import.structure, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.toplevel_phrase, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptop_dir : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.directive_argument, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.toplevel_phrase, 'a, 'c) Ppx_core__.Ast_pattern0.t
val type_declaration_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val type_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> params:((Ppx_core__.Import.core_type * Ppx_core__.Import.variance) list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> cstrs:((Ppx_core__.Import.core_type * Ppx_core__.Import.core_type * Ppx_core__.Import.location) list, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> kind:(Ppx_core__.Import.type_kind, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> private_:(Ppx_core__.Import.private_flag, 'e, 'f) Ppx_core__.Ast_pattern0.t ‑> manifest:(Ppx_core__.Import.core_type option, 'f, 'g) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_declaration, 'a, 'g) Ppx_core__.Ast_pattern0.t
val type_extension_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_extension, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_extension, 'a, 'c) Ppx_core__.Ast_pattern0.t
val type_extension : path:(Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> params:((Ppx_core__.Import.core_type * Ppx_core__.Import.variance) list, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> constructors:(Ppx_core__.Import.extension_constructor list, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> private_:(Ppx_core__.Import.private_flag, 'd, 'e) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_extension, 'a, 'e) Ppx_core__.Ast_pattern0.t
val ptype_abstract : (Ppx_core__.Import.type_kind, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ptype_variant : (Ppx_core__.Import.constructor_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptype_record : (Ppx_core__.Import.label_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptype_open : (Ppx_core__.Import.type_kind, 'a, 'a) Ppx_core__.Ast_pattern0.t
val value_binding_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_binding, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val value_binding : pat:(Ppx_core__.Import.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> expr:(Ppx_core__.Import.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val value_description_attributes : (Ppx_core__.Import.attributes, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_description, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_description, 'a, 'c) Ppx_core__.Ast_pattern0.t
val value_description : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> type_:(Ppx_core__.Import.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> prim:(string list, 'c, 'd) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.value_description, 'a, 'd) Ppx_core__.Ast_pattern0.t
val covariant : (Ppx_core__.Import.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val contravariant : (Ppx_core__.Import.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val invariant : (Ppx_core__.Import.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val virtual_ : (Ppx_core__.Import.virtual_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val concrete : (Ppx_core__.Import.virtual_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pwith_type : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.type_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.with_constraint, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pwith_module : (Ppx_core__.Import.longident, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.with_constraint, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pwith_typesubst : (Ppx_core__.Import.type_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.with_constraint, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pwith_modsubst : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.longident, 'b, 'c) Ppx_core__.Ast_pattern0.t ‑> (Ppx_core__.Import.with_constraint, 'a, 'c) Ppx_core__.Ast_pattern0.t
val true_ : (Ppx_core__.Import.bool, 'a, 'a) t
val false_ : (Ppx_core__.Import.bool, 'a, 'a) t
val eint : (Ppx_core__.Import.int, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val echar : (Ppx_core__.Import.char, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val estring : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val efloat : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val eint32 : (Ppx_core__.Import.int32, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val eint64 : (Ppx_core__.Import.int64, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val enativeint : (Ppx_core__.Import.nativeint, 'a, 'b) t ‑> (Ppx_core__.Import.expression, 'a, 'b) t
val pint : (Ppx_core__.Import.int, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pchar : (Ppx_core__.Import.char, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pstring : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pfloat : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pint32 : (Ppx_core__.Import.int32, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pint64 : (Ppx_core__.Import.int64, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val pnativeint : (Ppx_core__.Import.nativeint, 'a, 'b) t ‑> (Ppx_core__.Import.pattern, 'a, 'b) t
val single_expr_payload : (Ppx_core__.Import.expression, 'a, 'b) t ‑> (Ppx_core__.Import.payload, 'a, 'b) t
val no_label : (Ppx_core__.Import.expression, 'a, 'b) t ‑> (Ppx_core__.Import.Asttypes.arg_label * Ppx_core__.Import.expression, 'a, 'b) t
val attribute : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.payload, 'b, 'c) t ‑> (Ppx_core__.Import.attribute, 'a, 'c) t
val extension : (Ppx_core__.Import.string, 'a, 'b) t ‑> (Ppx_core__.Import.payload, 'b, 'c) t ‑> (Ppx_core__.Import.attribute, 'a, 'c) t
val of_func : (context ‑> Ppx_core.Location.t ‑> 'a ‑> 'b ‑> 'c) ‑> ('a, 'b, 'c) t
val to_func : ('a, 'b, 'c) t ‑> context ‑> Ppx_core.Location.t ‑> 'a ‑> 'b ‑> 'c