Module type Grammar.ExtS

include S
type te
type 'c pattern
module Parsable : sig ... end
val tokens : string -> (string option * int) list
module Entry : sig ... end
module rec Symbol : sig ... end
and Rule : sig ... end
and Rules : sig ... end
module Production : sig ... end
type 'a single_extend_statement = string option * Gramext.g_assoc option * 'a Production.t list
type 'a extend_statement = {
pos : Gramext.position option;
data : 'a single_extend_statement list;
}
val generalize_symbol : ('a, 'tr, 'c) Symbol.t -> ('a, norec, 'c) Symbol.t option
val mk_rule : 'a pattern list -> string Rules.t
val level_of_nonterm : ('a, norec, 'c) Symbol.t -> string option
val safe_extend : 'a Entry.t -> 'a extend_statement -> unit
val safe_delete_rule : 'a Entry.t -> 'a Production.t -> unit
module Unsafe : sig ... end