Module Grammar.GMake

Parameters

module L : Plexing.S

Signature

include S with type te = L.te with type 'c pattern = 'c L.pattern
type te = L.te
type 'c pattern = 'c L.pattern
type ty_pattern =
| TPattern : 'a pattern -> ty_pattern
module Parsable : sig ... end
module Entry : sig ... end
module Symbol : sig ... end
module Rule : sig ... end
module 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 =
| Reuse of string option * 'a Production.t list(*

Extend an existing level by its optional given name. If None, picks the topmost level.

*)
| Fresh of Gramext.position * 'a single_extend_statement list(*

Create a level at the given position.

*)
val generalize_symbol : ('a, 'tr, 'c) Symbol.t -> ('a, norec, 'c) Symbol.t option
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