Module 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 : sig ... end
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