module MapTy :
  sig
    type key = String.t
    type 'a t = 'a Map.Make(String).t
    val empty : 'a t
    val is_empty : 'a t -> bool
    val add : key -> 'a -> 'a t -> 'a t
    val find : key -> 'a t -> 'a
    val remove : key -> 'a t -> 'a t
    val mem : key -> 'a t -> bool
    val iter : (key -> 'a -> unit) -> 'a t -> unit
    val map : ('a -> 'b) -> 'a t -> 'b t
    val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
    val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
    val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
    val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
  end
type t =
  Camlp4MetaGenerator.t = {
  name : Camlp4.PreCast.Ast.ident;
  type_decls : Camlp4.PreCast.Ast.ctyp MapTy.t;
  acc : Camlp4.PreCast.Ast.expr;
  app : Camlp4.PreCast.Ast.expr;
  id : Camlp4.PreCast.Ast.expr;
  tup : Camlp4.PreCast.Ast.expr;
  com : Camlp4.PreCast.Ast.expr;
  str : Camlp4.PreCast.Ast.expr;
  int : Camlp4.PreCast.Ast.expr;
  flo : Camlp4.PreCast.Ast.expr;
  chr : Camlp4.PreCast.Ast.expr;
  ant : Camlp4.PreCast.Ast.ident;
}
val _loc : Camlp4.PreCast.Loc.t
val x : int -> Camlp4.PreCast.Ast.ident
val meta_ : string -> Camlp4.PreCast.Ast.ident
val mf_ : string -> string
val string_of_ident : Camlp4.PreCast.Ast.ident -> string
val fold_args : 'a list -> ('a -> int -> 'b -> 'b) -> 'b -> 'b
val fold_data_ctors :
  Camlp4.PreCast.Ast.ctyp ->
  (string -> Camlp4.PreCast.Ast.ctyp list -> 'a -> 'a) -> 'a -> 'a
val fold_type_decls :
  t -> (MapTy.key -> Camlp4.PreCast.Ast.ctyp -> 'a -> 'a) -> 'a -> 'a
val patt_of_data_ctor_decl :
  Camlp4.PreCast.Ast.ident -> 'a list -> Camlp4.PreCast.Ast.patt
val expr_of_data_ctor_decl :
  Camlp4.PreCast.Ast.ident -> 'a list -> Camlp4.PreCast.Ast.expr
val is_antiquot_data_ctor : string -> bool
val meta_ident : 'a -> Camlp4.PreCast.Ast.ident -> Camlp4.PreCast.Ast.expr
val m_app :
  t ->
  Camlp4.PreCast.Ast.expr ->
  Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr
val m_id : t -> Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr
val m_uid : t -> string -> Camlp4.PreCast.Ast.expr
val failure : Camlp4.PreCast.Ast.expr
val mk_meta : t -> Camlp4.PreCast.Ast.binding
val find_type_decls :
  < binding : Camlp4.PreCast.Ast.binding -> 'a;
    class_expr : Camlp4.PreCast.Ast.class_expr -> 'a;
    class_sig_item : Camlp4.PreCast.Ast.class_sig_item -> 'a;
    class_str_item : Camlp4.PreCast.Ast.class_str_item -> 'a;
    class_type : Camlp4.PreCast.Ast.class_type -> 'a;
    ctyp : Camlp4.PreCast.Ast.ctyp -> 'a;
    expr : Camlp4.PreCast.Ast.expr -> 'a;
    get : Camlp4.PreCast.Ast.ctyp MapTy.t;
    ident : Camlp4.PreCast.Ast.ident -> 'a;
    list : 'b. ('a -> 'b -> 'a) -> 'b list -> 'a;
    loc : Camlp4.PreCast.Ast.loc -> 'a;
    match_case : Camlp4.PreCast.Ast.match_case -> 'a;
    meta_bool : Camlp4.PreCast.Ast.meta_bool -> 'a;
    meta_list : 'c. ('a -> 'c -> 'a) -> 'c Camlp4.PreCast.Ast.meta_list -> 'a;
    meta_option : 'd.
                    ('a -> 'd -> 'a) ->
                    'd Camlp4.PreCast.Ast.meta_option -> 'a;
    module_binding : Camlp4.PreCast.Ast.module_binding -> 'a;
    module_expr : Camlp4.PreCast.Ast.module_expr -> 'a;
    module_type : Camlp4.PreCast.Ast.module_type -> 'a;
    patt : Camlp4.PreCast.Ast.patt -> 'a;
    rec_binding : Camlp4.PreCast.Ast.rec_binding -> 'a;
    sig_item : Camlp4.PreCast.Ast.sig_item -> 'a;
    str_item : Camlp4.PreCast.AstFilters.Ast.str_item -> 'a;
    string : string -> 'a; unknown : 'e. 'e -> 'a;
    with_constr : Camlp4.PreCast.Ast.with_constr -> 'a >
  as 'a
val filter :
  Camlp4.PreCast.AstFilters.Ast.str_item -> Camlp4.PreCast.Ast.str_item