Module Ppx_traverse

val alphabet : Ppx_core.String.t Ppx_core.Array.t
val vars_of_list : get_loc:('a ‑> Ppx_core.location) ‑> 'a Ppx_core.List.t ‑> Ppx_core.String.t Ppx_core.loc Ppx_core.List.t
val evar_of_var : Ppx_core__.Import.string Ppx_core.loc ‑> Ppx_core__.Import.expression
val pvar_of_var : Ppx_core__.Import.string Ppx_core.loc ‑> Ppx_core__.Import.pattern
val tvar_of_var : string Ppx_core.loc ‑> Ppx_core__.Import.core_type
val evars_of_vars : Ppx_core__.Import.string Ppx_core.loc Ppx_core.List.t ‑> Ppx_core__.Import.expression Ppx_core.List.t
val pvars_of_vars : Ppx_core__.Import.string Ppx_core.loc Ppx_core.List.t ‑> Ppx_core__.Import.pattern Ppx_core.List.t
val tvars_of_vars : string Ppx_core.loc Ppx_core.List.t ‑> Ppx_core__.Import.core_type Ppx_core.List.t
module Backends : sig ... end
type what = Backends.what
val mapper_type : what:what ‑> loc:Ppx_core__.Import.location ‑> Ppx_core__.Import.string Ppx_core.Loc.t ‑> Ppx_core.core_type Ppx_core.List.t ‑> Ppx_core__.Import.core_type
val constrained_mapper : what:what ‑> ?is_gadt:Ppx_core.bool ‑> Ppx_core.expression ‑> Ppx_core.type_declaration ‑> Ppx_core__.Import.expression
val mapper_type_of_td : what:what ‑> Ppx_core.type_declaration ‑> Ppx_core__.Import.core_type
val method_name : Ppx_core.longident ‑> Ppx_core.String.t
val type_expr_mapper : what:what ‑> Ppx_core.core_type ‑> Ppx_core__.Import.expression
val map_variables : what:what ‑> Ppx_core.String.t Ppx_core.loc Ppx_core.List.t ‑> Ppx_core.core_type Ppx_core.List.t ‑> (Ppx_core.string Ppx_core.loc * Ppx_core.expression) Ppx_core.list
val gen_record' : what:what ‑> loc:Ppx_core__.Import.location ‑> Ppx_core.label_declaration Ppx_core.List.t ‑> Ppx_core__.Import.pattern * Ppx_core__.Import.expression * (Ppx_core.string Ppx_core.loc * Ppx_core.expression) Ppx_core.list
val gen_record : what:what ‑> loc:Ppx_core__.Import.location ‑> Ppx_core.label_declaration Ppx_core.List.t ‑> Ppx_core.expression
val is_constant_constructor : Ppx_core.constructor_declaration ‑> bool
val erase_type_variables : Ppx_core.Ast_traverse.map
val gen_variant : what:what ‑> loc:Ppx_core.Location.t ‑> Ppx_core.constructor_declaration Ppx_core.List.t ‑> Ppx_core.expression
val gen_mapper : what:what ‑> Ppx_core.type_declaration ‑> Ppx_core__.Import.expression
val type_deps : Ppx_core.type_declaration Ppx_core.List.t ‑> (Ppx_core.Longident.t * Ppx_core.int) list
val lift_virtual_methods : loc:Ppx_core.location ‑> Ppx_core__.Import.Ast.class_field list ‑> Ppx_core.class_field Ppx_core.List.t
val map_lident : Ppx_core.longident ‑> f:(string ‑> string) ‑> Ppx_core.longident
val class_constr : what:< name : Ppx_core.String.t; .. > ‑> class_params:(Ppx_core__.Import.core_type * 'a) Ppx_core.List.t ‑> Ppx_core.longident Ppx_core.loc ‑> Ppx_core__.Import.class_expr
val gen_class : what:what ‑> loc:Ppx_core.Location.t ‑> Ppx_core.type_declaration Ppx_core.List.t ‑> Ppx_core__.Import.class_expr Ppx_core__.Import.class_infos
val gen_str : what:what ‑> loc:Ppx_core.Location.t ‑> path:'a ‑> (Ppx_core.rec_flag * Ppx_core.type_declaration Ppx_core.List.t) ‑> Ppx_core__.Import.structure_item list