Ppx_traverse (ppx_traverse.Ppx

include Ppxlib_traverse

val alphabet : Base.String.t Base.Array.t

val vars_of_list : get_loc:('a ‑> Ppxlib.location) ‑> 'a Base.List.t ‑> Base.String.t Ppxlib.loc Base.List.t

val evar_of_var : Ppxlib__.Import.string Ppxlib.loc ‑> Ppxlib__.Import.expression

val pvar_of_var : Ppxlib__.Import.string Ppxlib.loc ‑> Ppxlib__.Import.pattern

val tvar_of_var : string Ppxlib.loc ‑> Ppxlib__.Import.core_type

val evars_of_vars : Ppxlib__.Import.string Ppxlib.loc Base.List.t ‑> Ppxlib__.Import.expression Base.List.t

val pvars_of_vars : Ppxlib__.Import.string Ppxlib.loc Base.List.t ‑> Ppxlib__.Import.pattern Base.List.t

val tvars_of_vars : string Ppxlib.loc Base.List.t ‑> Ppxlib__.Import.core_type Base.List.t

module Backends = Ppxlib_traverse.Backends

type what = Backends.what

val mapper_type : what:what ‑> loc:Ppxlib__.Import.location ‑> Ppxlib__.Import.string Ppxlib.Loc.t ‑> Ppxlib.core_type Base.List.t ‑> Ppxlib__.Import.core_type

val constrained_mapper : what:what ‑> ?⁠is_gadt:Base.bool ‑> Ppxlib.expression ‑> Ppxlib.type_declaration ‑> Ppxlib__.Import.expression

val mapper_type_of_td : what:what ‑> Ppxlib.type_declaration ‑> Ppxlib__.Import.core_type

val method_name : Ppxlib.longident ‑> Base.String.t

val type_expr_mapper : what:what ‑> Ppxlib.core_type ‑> Ppxlib__.Import.expression

val map_variables : what:what ‑> Base.String.t Ppxlib.loc Base.List.t ‑> Ppxlib.core_type Base.List.t ‑> (Base.string Ppxlib.loc * Ppxlib.expression) Base.list

val gen_record' : what:what ‑> loc:Ppxlib__.Import.location ‑> Ppxlib.label_declaration Base.List.t ‑> Ppxlib__.Import.pattern * Ppxlib__.Import.expression * (Base.string Ppxlib.loc * Ppxlib.expression) Base.list

val gen_record : what:what ‑> loc:Ppxlib__.Import.location ‑> Ppxlib.label_declaration Base.List.t ‑> Ppxlib.expression

val is_constant_constructor : Ppxlib.constructor_declaration ‑> bool

val erase_type_variables : Ppxlib.Ast_traverse.map

val gen_variant : what:what ‑> loc:Ppxlib.Location.t ‑> Ppxlib.constructor_declaration Base.List.t ‑> Ppxlib.expression

val gen_mapper : what:what ‑> Ppxlib.type_declaration ‑> Ppxlib__.Import.expression

val type_deps : Ppxlib.type_declaration Base.List.t ‑> (Ppxlib.Longident.t * Base.int) list

val lift_virtual_methods : loc:Ppxlib.location ‑> Ppxlib__.Import.Ast.class_field list ‑> Ppxlib.class_field Base.List.t

val map_lident : Ppxlib.longident ‑> f:(string ‑> string) ‑> Ppxlib.longident

val class_constr : what:< name : Base.String.t; .. > ‑> class_params:(Ppxlib__.Import.core_type * 'a) Base.List.t ‑> Ppxlib.longident Ppxlib.loc ‑> Ppxlib__.Import.class_expr

val gen_class : what:what ‑> loc:Ppxlib.Location.t ‑> Ppxlib.type_declaration Base.List.t ‑> Ppxlib__.Import.class_expr Ppxlib__.Import.class_infos

val gen_str : what:what ‑> loc:Ppxlib.Location.t ‑> path:'a ‑> (Ppxlib.rec_flag * Ppxlib.type_declaration Base.List.t) ‑> Ppxlib__.Import.structure_item list