module Id : sig val name : string val version : string end
module Make :
  functor (Syntax : Camlp4.Sig.Camlp4Syntax) ->
    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 loc
            | RbSem of loc * rec_binding * rec_binding
            | RbEq of loc * ident * expr
            | RbAnt