Ppxlib_traverse (ppxlib.lib.ppxlib.traverse.Ppxlib

val alphabet : string array

val vars_of_list : 
  get_loc:('a -> Ppxlib.location) ->
  'a Stdppx.List.t ->
  string Ppxlib.loc list

val evar_of_var : string Ppxlib.loc -> Astlib.Ast_500.Parsetree.expression

val pvar_of_var : string Ppxlib.loc -> Astlib.Ast_500.Parsetree.pattern

val tvar_of_var : string Ppxlib.loc -> Astlib.Ast_500.Parsetree.core_type

val evars_of_vars : 
  string Ppxlib.loc list ->
  Astlib.Ast_500.Parsetree.expression list

val pvars_of_vars : 
  string Ppxlib.loc list ->
  Astlib.Ast_500.Parsetree.pattern list

val tvars_of_vars : 
  string Ppxlib.loc list ->
  Astlib.Ast_500.Parsetree.core_type list

val fst_expr : loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression

val snd_expr : loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression

val methods_of_class_exn : Ppxlib.structure_item -> Ppxlib.class_field list

module Backends : sig ... end

type what = Backends.what

val mapper_type : 
  what:what ->
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Ppxlib.core_type Stdppx.List.t ->
  Astlib.Ast_500.Parsetree.core_type

val constrained_mapper : 
  what:what ->
  ?is_gadt:bool ->
  Ppxlib.expression ->
  Ppxlib.type_declaration ->
  Astlib.Ast_500.Parsetree.expression

val mangle_type_name : Ppxlib.longident -> string

val type_expr_mapper : 
  what:what ->
  Ppxlib.core_type ->
  Astlib.Ast_500.Parsetree.expression

val map_variables : 
  what:what ->
  string Ppxlib.loc list ->
  Ppxlib.core_type list ->
  (string Ppxlib.loc * Ppxlib.expression) list

val gen_record' : 
  what:what ->
  loc:Astlib.Location.t ->
  Ppxlib.label_declaration list ->
  Astlib.Ast_500.Parsetree.pattern
  * Astlib.Ast_500.Parsetree.expression
  * (string Ppxlib.loc * Ppxlib.expression) list

val gen_record : 
  what:what ->
  loc:Astlib.Location.t ->
  Ppxlib.label_declaration list ->
  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 list ->
  Ppxlib.expression

val gen_mapper : what:what -> Ppxlib.type_declaration -> Ppxlib.expression

val type_deps : 
  Ppxlib.type_declaration list ->
  (Ppxlib.Longident.Map.key * int) list

val filter_virtual_methods : 
  methods:Ppxlib_ast.Ast.class_field list ->
  virtual_methods:Ppxlib.class_field list ->
  Ppxlib.class_field list

val gen_class : 
  what:what ->
  loc:Ppxlib.Location.t ->
  Ppxlib.type_declaration list ->
  Astlib.Ast_500.Parsetree.class_expr Astlib.Ast_500.Parsetree.class_infos

val gen_str : 
  what:what ->
  loc:Ppxlib.Location.t ->
  path:'a ->
  (Ppxlib.rec_flag * Ppxlib.type_declaration list) ->
  Astlib.Ast_500.Parsetree.structure_item list