sig
  module Loc : Loc
  module Action : Action
  module Token :
    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 t
      val to_string : t -> string
      val print : Format.formatter -> t -> unit
      val match_keyword : string -> t -> bool
      val extract_string : t -> string
      module Filter :
        sig
          type token_filter = (t, Loc.t) stream_filter
          type t
          val mk : (string -> bool) -> t
          val define_filter : t -> (token_filter -> token_filter) -> unit
          val filter : t -> token_filter
          val keyword_added : t -> string -> bool -> unit
          val keyword_removed : t -> string -> unit
        end
      module Error : Error
    end
  type gram
  type internal_entry
  type tree
  type token_pattern =
      (Camlp4.Sig.Grammar.Structure.Token.t -> bool) * string
  type token_info
  type token_stream =
      (Camlp4.Sig.Grammar.Structure.Token.t *
       Camlp4.Sig.Grammar.Structure.token_info)
      Stream.t
  val token_location :
    Camlp4.Sig.Grammar.Structure.token_info -> Camlp4.Sig.Loc.t
  type symbol =
      Smeta of string * Camlp4.Sig.Grammar.Structure.symbol list *
        Camlp4.Sig.Grammar.Action.t
    | Snterm of Camlp4.Sig.Grammar.Structure.internal_entry
    | Snterml of Camlp4.Sig.Grammar.Structure.internal_entry * string
    | Slist0 of Camlp4.Sig.Grammar.Structure.symbol
    | Slist0sep of Camlp4.Sig.Grammar.Structure.symbol *
        Camlp4.Sig.Grammar.Structure.symbol
    | Slist1 of Camlp4.Sig.Grammar.Structure.symbol
    | Slist1sep of Camlp4.Sig.Grammar.Structure.symbol *
        Camlp4.Sig.Grammar.Structure.symbol
    | Sopt of Camlp4.Sig.Grammar.Structure.symbol
    | Stry of Camlp4.Sig.Grammar.Structure.symbol
    | Sself
    | Snext
    | Stoken of Camlp4.Sig.Grammar.Structure.token_pattern
    | Skeyword of string
    | Stree of Camlp4.Sig.Grammar.Structure.tree
  type production_rule =
      Camlp4.Sig.Grammar.Structure.symbol list * Camlp4.Sig.Grammar.Action.t
  type single_extend_statment =
      string option * Camlp4.Sig.Grammar.assoc option *
      Camlp4.Sig.Grammar.Structure.production_rule list
  type extend_statment =
      Camlp4.Sig.Grammar.position option *
      Camlp4.Sig.Grammar.Structure.single_extend_statment list
  type delete_statment = Camlp4.Sig.Grammar.Structure.symbol list
  type ('a, 'b, 'c) fold =
      Camlp4.Sig.Grammar.Structure.internal_entry ->
      Camlp4.Sig.Grammar.Structure.symbol list ->
      ('a Stream.t -> 'b) -> 'a Stream.t -> 'c
  type ('a, 'b, 'c) foldsep =
      Camlp4.Sig.Grammar.Structure.internal_entry ->
      Camlp4.Sig.Grammar.Structure.symbol list ->
      ('a Stream.t -> 'b) -> ('a Stream.t -> unit) -> 'a Stream.t -> 'c
end