module CleanAst :
  sig
    class clean_ast :
      object ('a)
        method binding :
          Camlp4.PreCast.Ast.binding -> Camlp4.PreCast.Ast.binding
        method class_expr :
          Camlp4.PreCast.Ast.class_expr -> Camlp4.PreCast.Ast.class_expr
        method class_sig_item :
          Camlp4.PreCast.Ast.class_sig_item ->
          Camlp4.PreCast.Ast.class_sig_item
        method class_str_item :
          Camlp4.PreCast.Ast.class_str_item ->
          Camlp4.PreCast.Ast.class_str_item
        method class_type :
          Camlp4.PreCast.Ast.class_type -> Camlp4.PreCast.Ast.class_type
        method ctyp : Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.ctyp
        method expr : Camlp4.PreCast.Ast.expr -> Camlp4.PreCast.Ast.expr
        method ident : Camlp4.PreCast.Ast.ident -> Camlp4.PreCast.Ast.ident
        method list : ('a -> 'b -> 'c) -> 'b list -> 'c list
        method loc : Camlp4.PreCast.Ast.loc -> Camlp4.PreCast.Ast.loc
        method match_case :
          Camlp4.PreCast.Ast.match_case -> Camlp4.PreCast.Ast.match_case
        method meta_bool :
          Camlp4.PreCast.Ast.meta_bool -> Camlp4.PreCast.Ast.meta_bool
        method meta_list :
          ('a -> 'd -> 'e) ->
          'd Camlp4.PreCast.Ast.meta_list -> 'e Camlp4.PreCast.Ast.meta_list
        method meta_option :
          ('a -> 'f -> 'g) ->
          'f Camlp4.PreCast.Ast.meta_option ->
          'g Camlp4.PreCast.Ast.meta_option
        method module_binding :
          Camlp4.PreCast.Ast.module_binding ->
          Camlp4.PreCast.Ast.module_binding
        method module_expr :
          Camlp4.PreCast.Ast.module_expr -> Camlp4.PreCast.Ast.module_expr
        method module_type :
          Camlp4.PreCast.Ast.module_type -> Camlp4.PreCast.Ast.module_type
        method patt : Camlp4.PreCast.Ast.patt -> Camlp4.PreCast.Ast.patt
        method rec_binding :
          Camlp4.PreCast.Ast.rec_binding -> Camlp4.PreCast.Ast.rec_binding
        method sig_item :
          Camlp4.PreCast.Ast.sig_item -> Camlp4.PreCast.Ast.sig_item
        method str_item :
          Camlp4.PreCast.Ast.str_item -> Camlp4.PreCast.Ast.str_item
        method string : string -> string
        method unknown : 'h -> 'h
        method with_constr :
          Camlp4.PreCast.Ast.with_constr -> Camlp4.PreCast.Ast.with_constr
      end
  end
module SSet :
  sig
    type elt = String.t
    type t = Set.Make(String).t
    val empty : t
    val is_empty : t -> bool
    val mem : elt -> t -> bool
    val add : elt -> t -> t
    val singleton : elt -> t
    val remove : elt -> t -> t
    val union : t -> t -> t
    val inter : t -> t -> t
    val diff : t -> t -> t
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val subset : t -> t -> bool
    val iter : (elt -> unit) -> t -> unit
    val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
    val for_all : (elt -> bool) -> t -> bool
    val exists : (elt -> bool) -> t -> bool
    val filter : (elt -> bool) -> t -> t
    val partition : (elt -> bool) -> t -> t * t
    val cardinal : t -> int
    val elements : t -> elt list
    val min_elt : t -> elt
    val max_elt : t -> elt
    val choose : t -> elt
    val split : elt -> t -> t * bool * t
  end
val pa_r : string
val pa_rr : string
val pa_o : string
val pa_rp : string
val pa_op : string
val pa_g : string
val pa_m : string
val pa_qb : string
val pa_q : string
val pa_rq : string
val pa_oq : string
val pa_l : string
val dyn_loader : (unit -> Camlp4.PreCast.DynLoader.t) ref
val rcall_callback : (unit -> unit) ref
val loaded_modules : SSet.t ref
val add_to_loaded_modules : SSet.elt -> unit
val rewrite_and_load : string -> SSet.elt -> unit
val print_warning : Camlp4.PreCast.Syntax.Loc.t -> string -> unit
val parse_file :
  Camlp4.PreCast.DynLoader.t ->
  SSet.elt ->
  (?directive_handler:('a -> 'b option) ->
   Camlp4.PreCast.Loc.t -> char Stream.t -> 'b) ->
  ('a -> (Camlp4.PreCast.Loc.t * string * SSet.elt) option) -> 'b
val output_file : string option ref
val process :
  Camlp4.PreCast.DynLoader.t ->
  SSet.elt ->
  (?directive_handler:('a -> 'b option) ->
   Camlp4.PreCast.Loc.t -> char Stream.t -> 'b) ->
  (?input_file:SSet.elt -> ?output_file:string -> 'c -> 'd) ->
  ('e -> 'c) ->
  (('f -> ('f -> 'g) -> 'g) -> 'b -> 'e) ->
  ('a -> (Camlp4.PreCast.Loc.t * string * SSet.elt) option) -> 'd
val gind :
  Camlp4.PreCast.Ast.sig_item ->
  (Camlp4.PreCast.Ast.loc * string * string) option
val gimd :
  Camlp4.PreCast.Ast.str_item ->
  (Camlp4.PreCast.Ast.loc * string * string) option
val process_intf : Camlp4.PreCast.DynLoader.t -> SSet.elt -> unit
val process_impl : Camlp4.PreCast.DynLoader.t -> SSet.elt -> unit
val just_print_the_version : unit -> 'a
val print_version : unit -> 'a
val print_stdlib : unit -> 'a
val usage : Camlp4.Options.spec_list -> Camlp4.Options.spec_list -> unit
val warn_noassert : unit -> unit
type file_kind =
  Camlp4Bin.file_kind =
    Intf of string
  | Impl of string
  | Str of string
  | ModuleImpl of string
  | IncludeDir of string
val search_stdlib : bool ref
val print_loaded_modules : bool ref
val task : (SSet.elt -> unit) -> SSet.elt -> unit
val do_task : (unit -> unit) -> unit
val input_file : file_kind -> unit
val initial_spec_list : (string * Arg.spec * string) list
val anon_fun : string -> unit
val main : string array -> unit