module Id : sig val name : string val version : string end
module Make :
  functor (AstFilters : Camlp4.Sig.AstFilters) ->
    sig
      module MetaLoc :
        sig
          module Ast :
            sig
              module Loc :
                sig
                  type t = AstFilters.Ast.Loc.t
                  val mk : string -> t
                  val ghost : t
                  val of_lexing_position : Lexing.position -> t
                  val to_ocaml_location : t -> Camlp4_import.Location.t
                  val of_ocaml_location : Camlp4_import.Location.t -> t
                  val of_lexbuf : Lexing.lexbuf -> t
                  val of_tuple :
                    string * int * int * int * int * int * int * bool -> t
                  val to_tuple :
                    t -> string * int * int * int * int * int * int * bool
                  val merge : t -> t -> t
                  val join : t -> t
                  val move : [ `both | `start | `stop ] -> int -> t -> t
                  val shift : int -> t -> t
                  val move_line : int -> t -> t
                  val file_name : t -> string
                  val start_line : t -> int
                  val stop_line : t -> int
                  val start_bol : t -> int
                  val stop_bol : t -> int
                  val start_off : t -> int
                  val stop_off : t -> int
                  val start_pos : t -> Lexing.position
                  val stop_pos : t -> Lexing.position
                  val is_ghost : t -> bool
                  val ghostify : t -> t
                  val set_file_name : string -> t -> t
                  val strictly_before : t -> t -> bool
                  val make_absolute : t -> t
                  val print : Format.formatter -> t -> unit
                  val dump : Format.formatter -> t -> unit
                  val to_string : t -> string
                  exception Exc_located of t * exn
                  val raise : t -> exn -> 'a
                  val name : string ref
                end
              type loc = Loc.t
              and meta_bool =
                AstFilters.Ast.meta_bool =
                  BTrue
                | BFalse
                | BAnt of string
              and 'a meta_option =
                'a AstFilters.Ast.meta_option =
                  ONone
                | OSome of 'a
                | OAnt of string
              and 'a meta_list =
                'a AstFilters.Ast.meta_list =
                  LNil
                | LCons of 'a * 'a meta_list
                | LAnt of string
              and ident =
                AstFilters.Ast.ident =
                  IdAcc of loc * ident * ident
                | IdApp of loc * ident * ident
                | IdLid of loc * string
                | IdUid of loc * string
                | IdAnt of loc * string
              and ctyp =
                AstFilters.Ast.ctyp =
                  TyNil of loc
                | TyAli of loc * ctyp * ctyp
                | TyAny of loc
                | TyApp of loc * ctyp * ctyp
                | TyArr of loc * ctyp * ctyp
                | TyCls of loc * ident
                | TyLab of loc * string * ctyp
                | TyId of loc * ident
                | TyMan of loc * ctyp * ctyp
                | TyDcl of loc * string * ctyp list * ctyp *
                    (ctyp * ctyp) list
                | TyObj of loc * ctyp * meta_bool
                | TyOlb of loc * string * ctyp
                | TyPol of loc * ctyp * ctyp
                | TyQuo of loc * string
                | TyQuP of loc * string
                | TyQuM of loc * string
                | TyVrn of loc * string
                | TyRec of loc * ctyp
                | TyCol of loc * ctyp * ctyp
                | TySem of loc * ctyp * ctyp
                | TyCom of loc * ctyp * ctyp
                | TySum of loc * ctyp
                | TyOf of loc * ctyp * ctyp
                | TyAnd of loc * ctyp * ctyp
                | TyOr of loc * ctyp * ctyp
                | TyPrv of loc * ctyp
                | TyMut of loc * ctyp
                | TyTup of loc * ctyp
                | TySta of loc * ctyp * ctyp
                | TyVrnEq of loc * ctyp
                | TyVrnSup of loc * ctyp
                | TyVrnInf of loc * ctyp
                | TyVrnInfSup of loc * ctyp * ctyp
                | TyAmp of loc * ctyp * ctyp
                | TyOfAmp of loc * ctyp * ctyp
                | TyAnt of loc * string
              and patt =
                AstFilters.Ast.patt =
                  PaNil of loc
                | PaId of loc * ident
                | PaAli of loc * patt * patt
                | PaAnt of loc * string
                | PaAny of loc
                | PaApp of loc * patt * patt
                | PaArr of loc * patt
                | PaCom of loc * patt * patt
                | PaSem of loc * patt * patt
                | PaChr of loc * string
                | PaInt of loc * string
                | PaInt32 of loc * string
                | PaInt64 of loc * string
                | PaNativeInt of loc * string
                | PaFlo of loc * string
                | PaLab of loc * string * patt
                | PaOlb of loc * string * patt
                | PaOlbi of loc * string * patt * expr
                | PaOrp of loc * patt * patt
                | PaRng of loc * patt * patt
                | PaRec of loc * patt
                | PaEq of loc * ident * patt
                | PaStr of loc * string
                | PaTup of loc * patt
                | PaTyc of loc * patt * ctyp
                | PaTyp of loc * ident
                | PaVrn of loc * string
              and expr =
                AstFilters.Ast.expr =
                  ExNil of loc
                | ExId of loc * ident
                | ExAcc of loc * expr * expr
                | ExAnt of loc * string
                | ExApp of loc * expr * expr
                | ExAre of loc * expr * expr
                | ExArr of loc * expr
                | ExSem of loc * expr * expr
                | ExAsf of loc
                | ExAsr of loc * expr
                | ExAss of loc * expr * expr
                | ExChr of loc * string
                | ExCoe of loc * expr * ctyp * ctyp
                | ExFlo of loc * string
                | ExFor of loc * string * expr * expr * meta_bool * expr
                | ExFun of loc * match_case
                | ExIfe of loc * expr * expr * expr
                | ExInt of loc * string
                | ExInt32 of loc * string
                | ExInt64 of loc * string
                | ExNativeInt of loc * string
                | ExLab of loc * string * expr
                | ExLaz of loc * expr
                | ExLet of loc * meta_bool * binding * expr
                | ExLmd of loc * string * module_expr * expr
                | ExMat of loc * expr * match_case
                | ExNew of loc * ident
                | ExObj of loc * patt * class_str_item
                | ExOlb of loc * string * expr
                | ExOvr of loc * rec_binding
                | ExRec of loc * rec_binding * expr
                | ExSeq of loc * expr
                | ExSnd of loc * expr * string
                | ExSte of loc * expr * expr
                | ExStr of loc * string
                | ExTry of loc * expr * match_case
                | ExTup of loc * expr
                | ExCom of loc * expr * expr
                | ExTyc of loc * expr * ctyp
                | ExVrn of loc * string
                | ExWhi of loc * expr * expr
              and module_type =
                AstFilters.Ast.module_type =
                  MtNil of loc
                | MtId of loc * ident
                | MtFun of loc * string * module_type * module_type
                | MtQuo of loc * string
                | MtSig of loc * sig_item
                | MtWit of loc * module_type * with_constr
                | MtAnt of loc * string
              and sig_item =
                AstFilters.Ast.sig_item =
                  SgNil of loc
                | SgCls of loc * class_type
                | SgClt of loc * class_type
                | SgSem of loc * sig_item * sig_item
                | SgDir of loc * string * expr
                | SgExc of loc * ctyp
                | SgExt of loc * string * ctyp * string meta_list
                | SgInc of loc * module_type
                | SgMod of loc * string * module_type
                | SgRecMod of loc * module_binding
                | SgMty of loc * string * module_type
                | SgOpn of loc * ident
                | SgTyp of loc * ctyp
                | SgVal of loc * string * ctyp
                | SgAnt of loc * string
              and with_constr =
                AstFilters.Ast.with_constr =
                  WcNil of loc
                | WcTyp of loc * ctyp * ctyp
                | WcMod of loc * ident * ident
                | WcAnd of loc * with_constr * with_constr
                | WcAnt of loc * string
              and binding =
                AstFilters.Ast.binding =
                  BiNil of loc
                | BiAnd of loc * binding * binding
                | BiEq of loc * patt * expr
                | BiAnt of loc * string
              and rec_binding =
                AstFilters.Ast.rec_binding =
                  RbNil of loc
                | RbSem of loc * rec_binding * rec_binding
                | RbEq of loc * ident * expr
                | RbAnt of loc * string
              and module_binding =
                AstFilters.Ast.module_binding =
                  MbNil of loc
                | MbAnd of loc * module_binding * module_binding
                | MbColEq of loc * string * module_type * module_expr
                | MbCol of loc * string * module_type
                | MbAnt of loc * string
              and match_case =
                AstFilters.Ast.match_case =
                  McNil of loc
                | McOr of loc * match_case * match_case
                | McArr of loc * patt * expr * expr
                | McAnt of loc * string
              and module_expr =
                AstFilters.Ast.module_expr =
                  MeNil of loc
                | MeId of loc * ident
                | MeApp of loc * module_expr * module_expr
                | MeFun of loc * string * module_type * module_expr
                | MeStr of loc * str_item
                | MeTyc of loc * module_expr * module_type
                | MeAnt of loc * string
              and str_item =
                AstFilters.Ast.str_item =
                  StNil of loc
                | StCls of loc * class_expr
                | StClt of loc * class_type
                | StSem of loc * str_item * str_item
                | StDir of loc * string * expr
                | StExc of loc * ctyp * ident meta_option
                | StExp of loc * expr
                | StExt of loc * string * ctyp * string meta_list
                | StInc of loc * module_expr
                | StMod of loc * string * module_expr
                | StRecMod of loc * module_binding
                | StMty of loc * string * module_type
                | StOpn of