Default (ppx_core.Ppx_core.Ast

module Located : Ppx_core__.Ast_builder_intf.Located with type a with_loc := a Ppx_core__.Ast_builder_intf.with_location

include module type of Ppx_core__.Ast_builder_generated.M

val case : lhs:Ppx_core__.Import.pattern ‑> guard:Ppx_core__.Import.expression option ‑> rhs:Ppx_core__.Import.expression ‑> Ppx_core__.Import.case

val pcl_constr : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.core_type list ‑> Ppx_core__.Import.class_expr

val pcl_structure : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_structure ‑> Ppx_core__.Import.class_expr

val pcl_fun : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.arg_label ‑> Ppx_core__.Import.expression option ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.class_expr ‑> Ppx_core__.Import.class_expr

val pcl_apply : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_expr ‑> (Ppx_core__.Import.arg_label * Ppx_core__.Import.expression) list ‑> Ppx_core__.Import.class_expr

val pcl_let : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.rec_flag ‑> Ppx_core__.Import.value_binding list ‑> Ppx_core__.Import.class_expr ‑> Ppx_core__.Import.class_expr

val pcl_constraint : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_expr ‑> Ppx_core__.Import.class_type ‑> Ppx_core__.Import.class_expr

val pcl_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.class_expr

val pcf_inherit : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.override_flag ‑> Ppx_core__.Import.class_expr ‑> string option ‑> Ppx_core__.Import.class_field

val pcf_val : loc:Ppx_core__.Import.location ‑> (string Ppx_core__.Import.loc * Ppx_core__.Import.mutable_flag * Ppx_core__.Import.class_field_kind) ‑> Ppx_core__.Import.class_field

val pcf_method : loc:Ppx_core__.Import.location ‑> (string Ppx_core__.Import.loc * Ppx_core__.Import.private_flag * Ppx_core__.Import.class_field_kind) ‑> Ppx_core__.Import.class_field

val pcf_constraint : loc:Ppx_core__.Import.location ‑> (Ppx_core__.Import.core_type * Ppx_core__.Import.core_type) ‑> Ppx_core__.Import.class_field

val pcf_initializer : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.class_field

val pcf_attribute : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.attribute ‑> Ppx_core__.Import.class_field

val pcf_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.class_field

val class_infos : loc:Ppx_core__.Import.location ‑> virt:Ppx_core__.Import.virtual_flag ‑> params:(Ppx_core__.Import.core_type * Ppx_core__.Import.variance) list ‑> name:string Ppx_core__.Import.loc ‑> expr:'a ‑> 'a Ppx_core__.Import.class_infos

val class_signature : self:Ppx_core__.Import.core_type ‑> fields:Ppx_core__.Import.class_type_field list ‑> Ppx_core__.Import.class_signature

val class_structure : self:Ppx_core__.Import.pattern ‑> fields:Ppx_core__.Import.class_field list ‑> Ppx_core__.Import.class_structure

val pcty_constr : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.core_type list ‑> Ppx_core__.Import.class_type

val pcty_signature : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_signature ‑> Ppx_core__.Import.class_type

val pcty_arrow : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.arg_label ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.class_type ‑> Ppx_core__.Import.class_type

val pcty_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.class_type

val pctf_inherit : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_type ‑> Ppx_core__.Import.class_type_field

val pctf_val : loc:Ppx_core__.Import.location ‑> (string * Ppx_core__.Import.mutable_flag * Ppx_core__.Import.virtual_flag * Ppx_core__.Import.core_type) ‑> Ppx_core__.Import.class_type_field

val pctf_method : loc:Ppx_core__.Import.location ‑> (string * Ppx_core__.Import.private_flag * Ppx_core__.Import.virtual_flag * Ppx_core__.Import.core_type) ‑> Ppx_core__.Import.class_type_field

val pctf_constraint : loc:Ppx_core__.Import.location ‑> (Ppx_core__.Import.core_type * Ppx_core__.Import.core_type) ‑> Ppx_core__.Import.class_type_field

val pctf_attribute : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.attribute ‑> Ppx_core__.Import.class_type_field

val pctf_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.class_type_field

val constructor_declaration : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> args:Ppx_core__.Import.constructor_arguments ‑> res:Ppx_core__.Import.core_type option ‑> Ppx_core__.Import.constructor_declaration

val ptyp_any : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.core_type

val ptyp_var : loc:Ppx_core__.Import.location ‑> string ‑> Ppx_core__.Import.core_type

val ptyp_arrow : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.arg_label ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.core_type

val ptyp_tuple : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.core_type list ‑> Ppx_core__.Import.core_type

val ptyp_constr : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.core_type list ‑> Ppx_core__.Import.core_type

val ptyp_object : loc:Ppx_core__.Import.location ‑> (string * Ppx_core__.Import.attributes * Ppx_core__.Import.core_type) list ‑> Ppx_core__.Import.closed_flag ‑> Ppx_core__.Import.core_type

val ptyp_class : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.core_type list ‑> Ppx_core__.Import.core_type

val ptyp_alias : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.core_type ‑> string ‑> Ppx_core__.Import.core_type

val ptyp_variant : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.row_field list ‑> Ppx_core__.Import.closed_flag ‑> Ppx_core__.Import.label list option ‑> Ppx_core__.Import.core_type

val ptyp_poly : loc:Ppx_core__.Import.location ‑> string list ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.core_type

val ptyp_package : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.package_type ‑> Ppx_core__.Import.core_type

val ptyp_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.core_type

val pexp_ident : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.expression

val pexp_constant : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.constant ‑> Ppx_core__.Import.expression

val pexp_let : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.rec_flag ‑> Ppx_core__.Import.value_binding list ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_function : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.case list ‑> Ppx_core__.Import.expression

val pexp_fun : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.arg_label ‑> Ppx_core__.Import.expression option ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_apply : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> (Ppx_core__.Import.arg_label * Ppx_core__.Import.expression) list ‑> Ppx_core__.Import.expression

val pexp_match : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.case list ‑> Ppx_core__.Import.expression

val pexp_try : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.case list ‑> Ppx_core__.Import.expression

val pexp_tuple : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression list ‑> Ppx_core__.Import.expression

val pexp_construct : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.expression option ‑> Ppx_core__.Import.expression

val pexp_variant : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.label ‑> Ppx_core__.Import.expression option ‑> Ppx_core__.Import.expression

val pexp_record : loc:Ppx_core__.Import.location ‑> (Ppx_core__.Import.longident_loc * Ppx_core__.Import.expression) list ‑> Ppx_core__.Import.expression option ‑> Ppx_core__.Import.expression

val pexp_field : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.expression

val pexp_setfield : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_array : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression list ‑> Ppx_core__.Import.expression

val pexp_ifthenelse : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression option ‑> Ppx_core__.Import.expression

val pexp_sequence : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_while : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_for : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.direction_flag ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_constraint : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.expression

val pexp_coerce : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.core_type option ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.expression

val pexp_send : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> string ‑> Ppx_core__.Import.expression

val pexp_new : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.expression

val pexp_setinstvar : loc:Ppx_core__.Import.location ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_override : loc:Ppx_core__.Import.location ‑> (string Ppx_core__.Import.loc * Ppx_core__.Import.expression) list ‑> Ppx_core__.Import.expression

val pexp_letmodule : loc:Ppx_core__.Import.location ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_assert : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_lazy : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_poly : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.core_type option ‑> Ppx_core__.Import.expression

val pexp_object : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_structure ‑> Ppx_core__.Import.expression

val pexp_newtype : loc:Ppx_core__.Import.location ‑> string ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_pack : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.expression

val pexp_open : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.override_flag ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression

val pexp_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.expression

val pexp_unreachable : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression

val extension_constructor : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> kind:Ppx_core__.Import.extension_constructor_kind ‑> Ppx_core__.Import.extension_constructor

val include_infos : loc:Ppx_core__.Import.location ‑> 'a ‑> 'a Ppx_core__.Import.include_infos

val label_declaration : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> mutable_:Ppx_core__.Import.mutable_flag ‑> type_:Ppx_core__.Import.core_type ‑> Ppx_core__.Import.label_declaration

val location : start:Ppx_core__.Import.position ‑> end_:Ppx_core__.Import.position ‑> ghost:bool ‑> Ppx_core__.Import.location

val module_binding : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> expr:Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.module_binding

val module_declaration : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> type_:Ppx_core__.Import.module_type ‑> Ppx_core__.Import.module_declaration

val pmod_ident : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.module_expr

val pmod_structure : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.structure ‑> Ppx_core__.Import.module_expr

val pmod_functor : loc:Ppx_core__.Import.location ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.module_type option ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.module_expr

val pmod_apply : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.module_expr

val pmod_constraint : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.module_type ‑> Ppx_core__.Import.module_expr

val pmod_unpack : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.module_expr

val pmod_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.module_expr

val pmty_ident : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.module_type

val pmty_signature : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.signature ‑> Ppx_core__.Import.module_type

val pmty_functor : loc:Ppx_core__.Import.location ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.module_type option ‑> Ppx_core__.Import.module_type ‑> Ppx_core__.Import.module_type

val pmty_with : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_type ‑> Ppx_core__.Import.with_constraint list ‑> Ppx_core__.Import.module_type

val pmty_typeof : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_expr ‑> Ppx_core__.Import.module_type

val pmty_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.module_type

val pmty_alias : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.module_type

val module_type_declaration : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> type_:Ppx_core__.Import.module_type option ‑> Ppx_core__.Import.module_type_declaration

val open_description : loc:Ppx_core__.Import.location ‑> lid:Ppx_core__.Import.longident_loc ‑> override:Ppx_core__.Import.override_flag ‑> Ppx_core__.Import.open_description

val ppat_any : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern

val ppat_var : loc:Ppx_core__.Import.location ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.pattern

val ppat_alias : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.pattern

val ppat_constant : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.constant ‑> Ppx_core__.Import.pattern

val ppat_interval : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.constant ‑> Ppx_core__.Import.constant ‑> Ppx_core__.Import.pattern

val ppat_tuple : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern list ‑> Ppx_core__.Import.pattern

val ppat_construct : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.pattern option ‑> Ppx_core__.Import.pattern

val ppat_variant : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.label ‑> Ppx_core__.Import.pattern option ‑> Ppx_core__.Import.pattern

val ppat_record : loc:Ppx_core__.Import.location ‑> (Ppx_core__.Import.longident_loc * Ppx_core__.Import.pattern) list ‑> Ppx_core__.Import.closed_flag ‑> Ppx_core__.Import.pattern

val ppat_array : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern list ‑> Ppx_core__.Import.pattern

val ppat_or : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.pattern

val ppat_constraint : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.pattern

val ppat_type : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.longident_loc ‑> Ppx_core__.Import.pattern

val ppat_lazy : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.pattern

val ppat_unpack : loc:Ppx_core__.Import.location ‑> string Ppx_core__.Import.loc ‑> Ppx_core__.Import.pattern

val ppat_exception : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.pattern ‑> Ppx_core__.Import.pattern

val ppat_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.pattern

val position : fname:string ‑> lnum:int ‑> bol:int ‑> cnum:int ‑> Ppx_core__.Import.position

val psig_value : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.value_description ‑> Ppx_core__.Import.signature_item

val psig_type : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.rec_flag ‑> Ppx_core__.Import.type_declaration list ‑> Ppx_core__.Import.signature_item

val psig_typext : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.type_extension ‑> Ppx_core__.Import.signature_item

val psig_exception : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension_constructor ‑> Ppx_core__.Import.signature_item

val psig_module : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_declaration ‑> Ppx_core__.Import.signature_item

val psig_recmodule : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_declaration list ‑> Ppx_core__.Import.signature_item

val psig_modtype : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_type_declaration ‑> Ppx_core__.Import.signature_item

val psig_open : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.open_description ‑> Ppx_core__.Import.signature_item

val psig_include : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.include_description ‑> Ppx_core__.Import.signature_item

val psig_class : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_description list ‑> Ppx_core__.Import.signature_item

val psig_class_type : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_type_declaration list ‑> Ppx_core__.Import.signature_item

val psig_attribute : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.attribute ‑> Ppx_core__.Import.signature_item

val psig_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.attributes ‑> Ppx_core__.Import.signature_item

val pstr_eval : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.attributes ‑> Ppx_core__.Import.structure_item

val pstr_value : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.rec_flag ‑> Ppx_core__.Import.value_binding list ‑> Ppx_core__.Import.structure_item

val pstr_primitive : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.value_description ‑> Ppx_core__.Import.structure_item

val pstr_type : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.rec_flag ‑> Ppx_core__.Import.type_declaration list ‑> Ppx_core__.Import.structure_item

val pstr_typext : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.type_extension ‑> Ppx_core__.Import.structure_item

val pstr_exception : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension_constructor ‑> Ppx_core__.Import.structure_item

val pstr_module : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_binding ‑> Ppx_core__.Import.structure_item

val pstr_recmodule : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_binding list ‑> Ppx_core__.Import.structure_item

val pstr_modtype : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.module_type_declaration ‑> Ppx_core__.Import.structure_item

val pstr_open : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.open_description ‑> Ppx_core__.Import.structure_item

val pstr_class : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_declaration list ‑> Ppx_core__.Import.structure_item

val pstr_class_type : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.class_type_declaration list ‑> Ppx_core__.Import.structure_item

val pstr_include : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.include_declaration ‑> Ppx_core__.Import.structure_item

val pstr_attribute : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.attribute ‑> Ppx_core__.Import.structure_item

val pstr_extension : loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.extension ‑> Ppx_core__.Import.attributes ‑> Ppx_core__.Import.structure_item

val type_declaration : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> params:(Ppx_core__.Import.core_type * Ppx_core__.Import.variance) list ‑> cstrs:(Ppx_core__.Import.core_type * Ppx_core__.Import.core_type * Ppx_core__.Import.location) list ‑> kind:Ppx_core__.Import.type_kind ‑> private_:Ppx_core__.Import.private_flag ‑> manifest:Ppx_core__.Import.core_type option ‑> Ppx_core__.Import.type_declaration

val type_extension : path:Ppx_core__.Import.longident_loc ‑> params:(Ppx_core__.Import.core_type * Ppx_core__.Import.variance) list ‑> constructors:Ppx_core__.Import.extension_constructor list ‑> private_:Ppx_core__.Import.private_flag ‑> Ppx_core__.Import.type_extension

val value_binding : loc:Ppx_core__.Import.location ‑> pat:Ppx_core__.Import.pattern ‑> expr:Ppx_core__.Import.expression ‑> Ppx_core__.Import.value_binding

val value_description : loc:Ppx_core__.Import.location ‑> name:string Ppx_core__.Import.loc ‑> type_:Ppx_core__.Import.core_type ‑> prim:string list ‑> Ppx_core__.Import.value_description

include Ppx_core__.Ast_builder_intf.Additional_helpers with type a with_loc := a Ppx_core__.Ast_builder_intf.with_location

type 'a with_loc

val eint : (Ppx_core__.Import.int ‑> Ppx_core__.Import.expression) with_loc

val echar : (Ppx_core__.Import.char ‑> Ppx_core__.Import.expression) with_loc

val estring : (Ppx_core__.Import.string ‑> Ppx_core__.Import.expression) with_loc

val efloat : (Ppx_core__.Import.string ‑> Ppx_core__.Import.expression) with_loc

val eint32 : (Ppx_core__.Import.int32 ‑> Ppx_core__.Import.expression) with_loc

val eint64 : (Ppx_core__.Import.int64 ‑> Ppx_core__.Import.expression) with_loc

val enativeint : (Ppx_core__.Import.nativeint ‑> Ppx_core__.Import.expression) with_loc

val ebool : (Ppx_core__.Import.bool ‑> Ppx_core__.Import.expression) with_loc

val pint : (Ppx_core__.Import.int ‑> Ppx_core__.Import.pattern) with_loc

val pchar : (Ppx_core__.Import.char ‑> Ppx_core__.Import.pattern) with_loc

val pstring : (Ppx_core__.Import.string ‑> Ppx_core__.Import.pattern) with_loc

val pfloat : (Ppx_core__.Import.string ‑> Ppx_core__.Import.pattern) with_loc

val pint32 : (Ppx_core__.Import.int32 ‑> Ppx_core__.Import.pattern) with_loc

val pint64 : (Ppx_core__.Import.int64 ‑> Ppx_core__.Import.pattern) with_loc

val pnativeint : (Ppx_core__.Import.nativeint ‑> Ppx_core__.Import.pattern) with_loc

val pbool : (Ppx_core__.Import.bool ‑> Ppx_core__.Import.pattern) with_loc

val eunit : Ppx_core__.Import.expression with_loc

val punit : Ppx_core__.Import.pattern with_loc

val evar : (Ppx_core__.Import.string ‑> Ppx_core__.Import.expression) with_loc

evar id produces a Pexp_ident _ expression, it parses its input so you can pass any dot-separated identifier, for instance: evar ~loc "Foo.bar".

val pvar : (Ppx_core__.Import.string ‑> Ppx_core__.Import.pattern) with_loc

val eapply : (Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression Ppx_core__.Import.list ‑> Ppx_core__.Import.expression) with_loc

Same as pexp_apply but without labels

val eabstract : (Ppx_core__.Import.pattern Ppx_core__.Import.list ‑> Ppx_core__.Import.expression ‑> Ppx_core__.Import.expression) with_loc

val esequence : (Ppx_core__.Import.expression Ppx_core__.Import.list ‑> Ppx_core__.Import.expression) with_loc

val ppat_tuple_opt : (Ppx_core__.Import.pattern Ppx_core__.Import.list ‑> Ppx_core__.Import.pattern Ppx_core__.Import.option) with_loc

val pexp_tuple_opt : (Ppx_core__.Import.expression Ppx_core__.Import.list ‑> Ppx_core__.Import.expression Ppx_core__.Import.option) with_loc

val pconstruct : Ppx_core__.Import.constructor_declaration ‑> Ppx_core__.Import.pattern Ppx_core__.Import.option ‑> Ppx_core__.Import.pattern

val econstruct : Ppx_core__.Import.constructor_declaration ‑> Ppx_core__.Import.expression Ppx_core__.Import.option ‑> Ppx_core__.Import.expression

val elist : (Ppx_core__.Import.expression Ppx_core__.Import.list ‑> Ppx_core__.Import.expression) with_loc

val plist : (Ppx_core__.Import.pattern Ppx_core__.Import.list ‑> Ppx_core__.Import.pattern) with_loc

val pstr_value_list : loc:Location.t ‑> Ppx_core__.Import.Asttypes.rec_flag ‑> Ppx_core__.Import.value_binding Ppx_core__.Import.list ‑> Ppx_core__.Import.structure_item Ppx_core__.Import.list

pstr_value_list ~loc rf vbs = pstr_value ~loc rf vbs if vbs <> [], [] otherwise.

val nonrec_type_declaration : (name:Ppx_core__.Import.string Loc.t ‑> params:(Ppx_core__.Import.core_type * Ppx_core__.Import.Asttypes.variance) Ppx_core__.Import.list ‑> cstrs:(Ppx_core__.Import.core_type * Ppx_core__.Import.core_type * Location.t) Ppx_core__.Import.list ‑> kind:Ppx_core__.Import.type_kind ‑> private_:Ppx_core__.Import.Asttypes.private_flag ‑> manifest:Ppx_core__.Import.core_type Ppx_core__.Import.option ‑> Ppx_core__.Import.type_declaration) with_loc

val unapplied_type_constr_conv : (Longident.t Loc.t ‑> f:(Ppx_core__.Import.string ‑> Ppx_core__.Import.string) ‑> Ppx_core__.Import.expression) with_loc

unapplied_type_constr_conv is the standard way to map identifiers to conversion fonctions, for preprocessor that creates values that follow the structure of types. More precisely, path_conv path (sprintf "sexp_of_%s") is:

sexp_of_t if path is "t"
A.B.sexp_of_foo if path is "A.B.foo"
A.B.sexp_of_f__foo (module A1) (module A2) if path is "A.B.F(A1)(A2).foo" type_constr_conv also applies it to a list of expression, which both prevents the compiler from allocating useless closures, and almost always what is needed, since type constructors are always applied.

val type_constr_conv : (Longident.t Loc.t ‑> f:(Ppx_core__.Import.string ‑> Ppx_core__.Import.string) ‑> Ppx_core__.Import.expression Ppx_core__.Import.list ‑> Ppx_core__.Import.expression) with_loc