Grammar (camlp5.Grammar)

type g

type token = string * string

val gcreate : token Plexing.lexer -> g

val tokens : g -> string -> (string * int) list

val glexer : g -> token Plexing.lexer

type parsable

val parsable : g -> char Stream.t -> parsable

module Entry : sig ... end

val of_entry : 'a Entry.e -> g

type ('self, 'a) ty_symbol

type ('self, 'f, 'r) ty_rule

type 'a ty_production

type ty_extension

val s_facto : ('self, 'a) ty_symbol -> ('self, 'a) ty_symbol

val s_nterm : 'a Entry.e -> ('self, 'a) ty_symbol

val s_nterml : 'a Entry.e -> string -> ('self, 'a) ty_symbol

val s_list0 : ('self, 'a) ty_symbol -> ('self, 'a list) ty_symbol

val s_list0sep : 
  ('self, 'a) ty_symbol ->
  ('self, 'b) ty_symbol ->
  bool ->
  ('self, 'a list) ty_symbol

val s_list1 : ('self, 'a) ty_symbol -> ('self, 'a list) ty_symbol

val s_list1sep : 
  ('self, 'a) ty_symbol ->
  ('self, 'b) ty_symbol ->
  bool ->
  ('self, 'a list) ty_symbol

val s_opt : ('self, 'a) ty_symbol -> ('self, 'a option) ty_symbol

val s_flag : ('self, 'a) ty_symbol -> ('self, bool) ty_symbol

val s_self : ('self, 'self) ty_symbol

val s_next : ('self, 'self) ty_symbol

val s_token : Plexing.pattern -> ('self, string) ty_symbol

val s_rules : 'a ty_production list -> ('self, 'a) ty_symbol

val s_vala : 
  string list ->
  ('self, 'a) ty_symbol ->
  ('self, 'a Ploc.vala) ty_symbol

val r_stop : ('self, 'r, 'r) ty_rule

val r_next : 
  ('self, 'a, 'r) ty_rule ->
  ('self, 'b) ty_symbol ->
  ('self, 'b -> 'a, 'r) ty_rule

val r_cut : ('self, 'a, 'r) ty_rule -> ('self, 'a, 'r) ty_rule

val production : 
  (('a, 'f, Ploc.t -> 'a) ty_rule * string * 'f) ->
  'a ty_production

val extension : 
  'a Entry.e ->
  Gramext.position option ->
  (string option * Gramext.g_assoc option * 'a ty_production list) list ->
  ty_extension

val safe_extend : ty_extension list -> unit

val safe_delete_rule : 'a Entry.e -> ('a, 'f, 'r) ty_rule -> unit

module Unsafe : sig ... end

type parse_algorithm = Gramext.parse_algorithm =

| Predictive
| Functional
| Backtracking
| DefaultAlgorithm

val set_algorithm : g -> parse_algorithm -> unit

val set_default_algorithm : parse_algorithm -> unit

val default_algorithm : unit -> parse_algorithm

val backtrack_stalling_limit : int ref

module type GLexerType = sig ... end

module type S = sig ... end

module GMake (L : GLexerType) : sig ... end

val skip_item : 'a -> 'a

val error_verbose : bool ref

val warning_verbose : bool ref

val strict_parsing : bool ref

val utf8_print : bool ref

val print_entry : Format.formatter -> 'te Gramext.g_entry -> unit

val iter_entry : ('te Gramext.g_entry -> unit) -> 'te Gramext.g_entry -> unit

val fold_entry : 
  ('te Gramext.g_entry -> 'a -> 'a) ->
  'te Gramext.g_entry ->
  'a ->
  'a

val reinit_entry_functions : 'te Gramext.g_entry -> unit

val loc_of_token_interval : int -> int -> Ploc.t

val extend : 
  ('te Gramext.g_entry
   * Gramext.position option
   * (string option
      * Gramext.g_assoc option
      * ('te Gramext.g_symbol list * string * Gramext.g_action) list)
       list)
    list ->
  unit

val delete_rule : 'a Entry.e -> token Gramext.g_symbol list -> unit

val parse_top_symb : 
  'te Gramext.g_entry ->
  'te Gramext.g_symbol ->
  'te Stream.t ->
  Obj.t

val symb_failed_txt : 
  'te Gramext.g_entry ->
  'te Gramext.g_symbol ->
  'te Gramext.g_symbol ->
  string

val create_local_entry : g -> string -> 'a Entry.e

val backtrack_parse : bool ref