`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`