module Misc :
  sig
    exception Fatal_error
    val fatal_error : string -> 'a
    val try_finally : (unit -> 'a) -> (unit -> 'b) -> 'a
    val map_end : ('a -> 'b) -> 'a list -> 'b list -> 'b list
    val map_left_right : ('a -> 'b) -> 'a list -> 'b list
    val for_all2 : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
    val replicate_list : 'a -> int -> 'a list
    val list_remove : 'a -> 'a list -> 'a list
    val split_last : 'a list -> 'a list * 'a
    val samelist : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
    val may : ('a -> unit) -> 'a option -> unit
    val may_map : ('a -> 'b) -> 'a option -> 'b option
    val find_in_path : string list -> string -> string
    val find_in_path_uncap : string list -> string -> string
    val remove_file : string -> unit
    val expand_directory : string -> string -> string
    val create_hashtable : int -> ('a * 'b) list -> ('a, 'b) Hashtbl.t
    val copy_file : in_channel -> out_channel -> unit
    val copy_file_chunk : in_channel -> out_channel -> int -> unit
    val log2 : int -> int
    val align : int -> int -> int
    val no_overflow_add : int -> int -> bool
    val no_overflow_sub : int -> int -> bool
    val no_overflow_lsl : int -> bool
    val chop_extension_if_any : string -> string
    val chop_extensions : string -> string
    val search_substring : string -> string -> int -> int
    val rev_split_words : string -> string list
  end
module Terminfo :
  sig
    type status =
      Camlp4_import.Terminfo.status =
        Uninitialised
      | Bad_term
      | Good_term of int
    external setup : out_channel -> status = "caml_terminfo_setup"
    external backup : int -> unit = "caml_terminfo_backup"
    external standout : bool -> unit = "caml_terminfo_standout"
    external resume : int -> unit = "caml_terminfo_resume"
  end
module Linenum :
  sig
    val filename : string ref
    val linenum : int ref
    val linebeg : int ref
    val parse_sharp_line : string -> unit
    val __ocaml_lex_tables : Lexing.lex_tables
    val skip_line : Lexing.lexbuf -> int
    val __ocaml_lex_skip_line_rec : Lexing.lexbuf -> int -> int
    val for_position : string -> int -> string * int * int
  end
module Warnings :
  sig
    type t =
      Camlp4_import.Warnings.t =
        Comment_start
      | Comment_not_end
      | Deprecated
      | Fragile_match of string
      | Partial_application
      | Labels_omitted
      | Method_override of string list
      | Partial_match of string
      | Statement_type
      | Unused_match
      | Unused_pat
      | Instance_variable_override of string
      | Illegal_backslash
      | Implicit_public_methods of string list
      | Unerasable_optional_argument
      | Undeclared_virtual_method of string
      | Not_principal of string
      | Without_principality of string
      | Unused_argument
      | Nonreturning_statement
      | Camlp4 of string
      | All_clauses_guarded
      | Useless_record_with
      | Unused_var of string
      | Unused_var_strict of string
    val letter : t -> char
    val active : bool array
    val error : bool array
    val translate : char -> int * bool
    val is_active : t -> bool
    val is_error : t -> bool
    val parse_options : bool -> string -> unit
    val message : t -> string
    val nerrors : int ref
    val print : Format.formatter -> t -> int
    exception Errors of int
    val check_fatal : unit -> unit
  end
module Location :
  sig
    type t =
      Camlp4_import.Location.t = {
      loc_start : Lexing.position;
      loc_end : Lexing.position;
      loc_ghost : bool;
    }
    val none : t
    val in_file : string -> t
    val curr : Lexing.lexbuf -> t
    val init : Lexing.lexbuf -> string -> unit
    val symbol_rloc : unit -> t
    val symbol_gloc : unit -> t
    val rhs_loc : int -> t
    val input_name : string ref
    val input_lexbuf : Lexing.lexbuf option ref
    val status : Terminfo.status ref
    val num_loc_lines : int ref
    val highlight_terminfo :
      Format.formatter -> int -> Lexing.lexbuf -> t -> t -> unit
    val highlight_dumb : Format.formatter -> Lexing.lexbuf -> t -> unit
    val highlight_locations : Format.formatter -> t -> t -> bool
    val reset : unit -> unit
    val msg_file : string
    val msg_line : string
    val msg_chars : string
    val msg_to : string
    val msg_colon : string
    val msg_head : string
    val get_pos_info : Lexing.position -> string * int * int
    val print : Format.formatter -> t -> unit
    val print_warning : t -> Format.formatter -> Warnings.t -> unit
    val prerr_warning : t -> Warnings.t -> unit
    val echo_eof : unit -> unit
  end
module Longident :
  sig
    type t =
      Camlp4_import.Longident.t =
        Lident of string
      | Ldot of t * string
      | Lapply of t * t
    val flat : string list -> t -> string list
    val flatten : t -> string list
    val split_at_dots : string -> int -> string list
    val parse : string -> t
  end
module Asttypes :
  sig
    type constant =
      Camlp4_import.Asttypes.constant =
        Const_int of int
      | Const_char of char
      | Const_string of string
      | Const_float of string
      | Const_int32 of int32
      | Const_int64 of int64
      | Const_nativeint of nativeint
    type rec_flag =
      Camlp4_import.Asttypes.rec_flag =
        Nonrecursive
      | Recursive
      | Default
    type direction_flag =
      Camlp4_import.Asttypes.direction_flag =
        Upto
      | Downto
    type private_flag =
      Camlp4_import.Asttypes.private_flag =
        Private
      | Public
    type mutable_flag =
      Camlp4_import.Asttypes.mutable_flag =
        Immutable
      | Mutable
    type virtual_flag =
      Camlp4_import.Asttypes.virtual_flag =
        Virtual
      | Concrete
    type label = string
  end
module Parsetree :
  sig
    type core_type =
      Camlp4_import.Parsetree.core_type = {
      ptyp_desc : core_type_desc;
      ptyp_loc : Location.t;
    }
    and core_type_desc =
      Camlp4_import.Parsetree.core_type_desc =
        Ptyp_any
      | Ptyp_var of string
      | Ptyp_arrow of Asttypes.label * core_type * core_type
      | Ptyp_tuple of core_type list
      | Ptyp_constr of Longident.t * core_type list
      | Ptyp_object of core_field_type list
      | Ptyp_class of Longident.t * core_type list * Asttypes.label list
      | Ptyp_alias of core_type * string
      | Ptyp_variant of row_field list * bool * Asttypes.label list option
      | Ptyp_poly of string list * core_type
    and core_field_type =
      Camlp4_import.Parsetree.core_field_type = {
      pfield_desc : core_field_desc;
      pfield_loc : Location.t;
    }
    and core_field_desc =
      Camlp4_import.Parsetree.core_field_desc =
        Pfield of string * core_type
      | Pfield_var
    and row_field =
      Camlp4_import.Parsetree.row_field =
        Rtag of Asttypes.label * bool * core_type list
      | Rinherit of core_type
    type 'a class_infos =
      'a Camlp4_import.Parsetree.class_infos = {
      pci_virt : Asttypes.virtual_flag;
      pci_params : string list * Location.t;
      pci_name : string;
      pci_expr : 'a;
      pci_variance : (bool * bool) list;
      pci_loc : Location.t;
    }
    type pattern =
      Camlp4_import.Parsetree.pattern = {
      ppat_desc : pattern_desc;
      ppat_loc : Location.t;
    }
    and pattern_desc =
      Camlp4_import.Parsetree.pattern_desc =
        Ppat_any
      | Ppat_var of string
      | Ppat_alias of pattern * string
      | Ppat_constant of Asttypes.constant
      | Ppat_tuple of pattern list
      | Ppat_construct of Longident.t * pattern option * bool
      | Ppat_variant of Asttypes.label * pattern option
      | Ppat_record of (Longident.t * pattern) list
      | Ppat_array of pattern list
      | Ppat_or of pattern * pattern
      | Ppat_constraint of pattern * core_type
      | Ppat_type of Longident.t
    type expression =
      Camlp4_import.Parsetree.expression = {
      pexp_desc : expression_desc;
      pexp_loc : Location.t;
    }
    and expression_desc =
      Camlp4_import.Parsetree.expression_desc =
        Pexp_ident of Longident.t
      | Pexp_constant of Asttypes.constant
      | Pexp_let of Asttypes.rec_flag * (pattern * expression) list *
          expression
      | Pexp_function of Asttypes.label * expression option *
          (pattern * expression) list
      | Pexp_apply of expression * (Asttypes.label * expression) list
      | Pexp_match of expression * (pattern * expression) list
      | Pexp_try of expression * (pattern * expression) list
      | Pexp_tuple of expression list
      | Pexp_construct of Longident.t * expression option * bool
      | Pexp_variant of Asttypes.label * expression option
      | Pexp_record of (Longident.t * expression) list * expression option
      | Pexp_field of expression * Longident.t
      | Pexp_setfield of expression * Longident.t * expression
      | Pexp_array of expression list
      | Pexp_ifthenelse of expression * expression * expression option
      | Pexp_sequence of expression * expression
      | Pexp_while of expression * expression
      | Pexp_for of string * expression * expression *
          Asttypes.direction_flag * expression
      | Pexp_constraint of expression * core_type option * core_type option
      | Pexp_when of expression * expression
      | Pexp_send of expression * string
      | Pexp_new of Longident.t
      | Pexp_setinstvar of string * expression
      | Pexp_override of (string * expression) list
      | Pexp_letmodule of string * module_expr * expression
      | Pexp_assert of expression
      | Pexp_assertfalse
      | Pexp_lazy of expression
      | Pexp_poly of expression * core_type option
      | Pexp_object of class_structure
    and value_description =
      Camlp4_import.Parsetree.value_description = {
      pval_type : core_type;
      pval_prim : string list;
    }
    and type_declaration =
      Camlp4_import.Parsetree.type_declaration = {
      ptype_params : string list;
      ptype_cstrs : (core_type * core_type * Location.t) list;
      ptype_kind : type_kind;
      ptype_manifest : core_type option;
      ptype_variance : (bool * bool) list;
      ptype_loc : Location.t;
    }
    and type_kind =
      Camlp4_import.Parsetree.type_kind =
        Ptype_abstract
      | Ptype_variant of (string * core_type list * Location.t) list *
          Asttypes.private_flag
      | Ptype_record of
          (string * Asttypes.mutable_flag * core_type * Location.t) list *
          Asttypes.private_flag
      | Ptype_private
    and exception_declaration = core_type list
    and class_type =
      Camlp4_import.Parsetree.class_type = {
      pcty_desc : class_type_desc;
      pcty_loc : Location.t;
    }
    and class_type_desc =
      Camlp