module Id : sig val name : string val version : string end
module Make :
  functor (Syntax : Camlp4.Sig.Camlp4Syntax) ->
    functor (TheAntiquotSyntax : Camlp4.Sig.Parser(Syntax.Ast).SIMPLE) ->
      sig
        module Loc :
          sig
            type t = Syntax.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
        module Ast :
          sig
            module Loc :
              sig
                type t = 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 =
              Syntax.Ast.meta_bool =
                BTrue
              | BFalse
              | BAnt of string
            and 'a meta_option =
              'a Syntax.Ast.meta_option =
                ONone
              | OSome of 'a
              | OAnt of string
            and 'a meta_list =
              'a Syntax.Ast.meta_list =
                LNil
              | LCons of 'a * 'a meta_list
              | LAnt of string
            and ident =
              Syntax.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 =
              Syntax.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 =
              Syntax.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 =
              Syntax.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 =
              Syntax.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 =
              Syntax.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 =
              Syntax.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 =
              Syntax.Ast.binding =
                BiNil of loc
              | BiAnd of loc * binding * binding
              | BiEq of loc * patt * expr
              | BiAnt of loc * string
            and rec_binding =
              Syntax.Ast.rec_binding =
                RbNil of