module Id : sig val name : string val version : string end
module Make :
  functor (AstFilters : Camlp4.Sig.AstFilters) ->
    sig
      module StringMap :
        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
      val _loc : AstFilters.Ast.Loc.t
      val sf : ('a, unit, string) format -> 'a
      val xik : int -> int -> string
      val exik : int -> int -> AstFilters.Ast.expr
      val pxik : int -> int -> AstFilters.Ast.patt
      val elidk : string -> int -> AstFilters.Ast.expr
      val plidk : string -> int -> AstFilters.Ast.patt
      val xs : string -> string
      val xsk : string -> int -> string
      val exsk : string -> int -> AstFilters.Ast.expr
      val apply_expr :
        AstFilters.Ast.expr ->
        AstFilters.Ast.expr list -> AstFilters.Ast.expr
      val apply_patt :
        AstFilters.Ast.patt ->
        AstFilters.Ast.patt list -> AstFilters.Ast.patt
      val apply_ctyp :
        AstFilters.Ast.ctyp ->
        AstFilters.Ast.ctyp list -> AstFilters.Ast.ctyp
      val opt_map : ('a -> 'b) -> 'a option -> 'b option
      val list_init : (int -> 'a) -> int -> 'a list
      val lid_of_ident : string -> AstFilters.Ast.ident -> string
      type type_decl =
          string * AstFilters.Ast.ident * AstFilters.Ast.ctyp list *
          AstFilters.Ast.ctyp * bool
      val builtin_types :
        (StringMap.key * AstFilters.Ast.ident * AstFilters.Ast.ctyp list *
         AstFilters.Ast.ctyp * bool)
        StringMap.t
      val used_builtins :
        (StringMap.key * AstFilters.Ast.ident * AstFilters.Ast.ctyp list *
         AstFilters.Ast.ctyp * bool)
        StringMap.t ref
      val store_if_builtin_type : StringMap.key -> unit
      type mode =
        Camlp4FoldGenerator.Make(AstFilters).mode =
          Fold
        | Map
        | Fold_map
      val string_of_mode : mode -> string
      module Gen :
        functor (X : sig val size : int val mode : mode end) ->
          sig
            val size : int
            val mode : mode
            val tuplify_expr :
              (int -> AstFilters.Ast.expr) -> AstFilters.Ast.expr
            val tuplify_patt :
              (int -> AstFilters.Ast.patt) -> AstFilters.Ast.patt
            val xiks : int -> AstFilters.Ast.expr
            val tuplify_type : AstFilters.Ast.ctyp -> AstFilters.Ast.ctyp
            val tuplify_tycon : string -> AstFilters.Ast.ctyp
            val patt_of_expr : AstFilters.Ast.expr -> AstFilters.Ast.patt
            val bind :
              AstFilters.Ast.patt ->
              AstFilters.Ast.expr ->
              AstFilters.Ast.expr -> AstFilters.Ast.expr
            val return : AstFilters.Ast.expr -> AstFilters.Ast.expr
            val opt_bind :
              AstFilters.Ast.patt option ->
              AstFilters.Ast.expr ->
              (AstFilters.Ast.expr -> AstFilters.Ast.expr) ->
              AstFilters.Ast.expr
            val chain_tuple :
              (AstFilters.Ast.patt list -> AstFilters.Ast.patt) ->
              (AstFilters.Ast.expr list -> AstFilters.Ast.expr) ->
              (AstFilters.Ast.expr option -> 'a -> AstFilters.Ast.expr) ->
              'a list -> AstFilters.Ast.match_case
            val mk_tuple :
              (AstFilters.Ast.expr option ->
               AstFilters.Ast.ctyp -> AstFilters.Ast.expr) ->
              AstFilters.Ast.ctyp -> AstFilters.Ast.expr
            val default_match_case : AstFilters.Ast.match_case
            val default_expr : AstFilters.Ast.expr
            val mkfuno : AstFilters.Ast.expr -> AstFilters.Ast.expr
            val is_unknown : AstFilters.Ast.ctyp -> bool
            val contains_unknown : AstFilters.Ast.ctyp -> bool
            val opt_bind' :
              AstFilters.Ast.expr option ->
              AstFilters.Ast.expr ->
              (AstFilters.Ast.expr -> AstFilters.Ast.expr) ->
              AstFilters.Ast.expr
            val opt_app :
              AstFilters.Ast.expr ->
              AstFilters.Ast.expr option -> AstFilters.Ast.expr
            val expr_of_ty :
              AstFilters.Ast.expr option ->
              AstFilters.Ast.ctyp -> AstFilters.Ast.expr
            val expr_of_ty' :
              AstFilters.Ast.expr ->
              AstFilters.Ast.ctyp -> AstFilters.Ast.expr
            val out_constr_patt : string -> AstFilters.Ast.patt
            val out_constr_expr : string -> AstFilters.Ast.expr
            val match_case_of_constructor :
              string -> AstFilters.Ast.ctyp -> AstFilters.Ast.match_case
            val match_case_of_sum_type :
              AstFilters.Ast.ctyp -> AstFilters.Ast.match_case
            val match_case_of_poly_constructor :
              string -> AstFilters.Ast.ctyp list -> AstFilters.Ast.match_case
            val match_case_of_poly_sum_type :
              AstFilters.Ast.ctyp -> AstFilters.Ast.match_case
            val record_patt_of_type :
              int -> AstFilters.Ast.ctyp -> AstFilters.Ast.patt
            val type_list_of_record_type :
              AstFilters.Ast.ctyp ->
              string list * AstFilters.Ast.ctyp list ->
              string list * AstFilters.Ast.ctyp list
            val expr_of_record_type :
              AstFilters.Ast.ctyp -> AstFilters.Ast.match_case
            val failure_match_case : AstFilters.Ast.match_case
            val complete_match_case :
              (AstFilters.Ast.ctyp -> AstFilters.Ast.match_case) ->
              AstFilters.Ast.ctyp -> AstFilters.Ast.match_case
            val fun_of_ctyp :
              StringMap.key -> AstFilters.Ast.ctyp -> AstFilters.Ast.expr
            val string_of_type_param : AstFilters.Ast.ctyp -> string
            val method_of_type_decl :
              StringMap.key ->
              StringMap.key * AstFilters.Ast.ident *
              AstFilters.Ast.ctyp list * AstFilters.Ast.ctyp * bool ->
              AstFilters.Ast.class_str_item -> AstFilters.Ast.class_str_item
            val ctyp_name_of_name_params :
              AstFilters.Ast.ident ->
              AstFilters.Ast.ctyp list -> AstFilters.Ast.ctyp
            val method_type_of_type_decl :
              StringMap.key * AstFilters.Ast.ident *
              AstFilters.Ast.ctyp list * AstFilters.Ast.ctyp * bool ->
              AstFilters.Ast.ctyp
            val method_type_of_type :
              AstFilters.Ast.ctyp ->
              AstFilters.Ast.ctyp ->
              AstFilters.Ast.ctyp list ->
              AstFilters.Ast.ctyp list -> AstFilters.Ast.ctyp
            val class_sig_item_of_type_decl :
              StringMap.key ->
              StringMap.key * AstFilters.Ast.ident *
              AstFilters.Ast.ctyp list * AstFilters.Ast.ctyp * bool ->
              AstFilters.Ast.class_sig_item -> AstFilters.Ast.class_sig_item
            val generate_structure :
              (StringMap.key * AstFilters.Ast.ident *
               AstFilters.Ast.ctyp list * AstFilters.Ast.ctyp * bool)
              StringMap.t -> AstFilters.Ast.class_str_item
            val generate_signature :
              (StringMap.key * AstFilters.Ast.ident *
               AstFilters.Ast.ctyp list * AstFilters.Ast.ctyp * bool)
              StringMap.t -> AstFilters.Ast.class_sig_item
          end
      val tyMap_of_type_decls :
        AstFilters.Ast.ctyp ->
        (StringMap.key * AstFilters.Ast.ident * AstFilters.Ast.ctyp list *
         AstFilters.Ast.ctyp * bool)
        StringMap.t ->
        (StringMap.key * AstFilters.Ast.ident * AstFilters.Ast.ctyp list *
         AstFilters.Ast.ctyp * bool)
        StringMap.t
      val generate_class_implem :
        mode ->
        string -> AstFilters.Ast.ctyp -> int -> AstFilters.Ast.str_item
      val generate_class_interf :
        mode ->
        string -> AstFilters.Ast.ctyp -> int -> AstFilters.Ast.sig_item
      val processor : AstFilters.Ast.map
    end