Module type `Grammar.S`

module Parsable : sig ... end

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