Module type Grammar.S
type keyword_state
type te
type 'c pattern
type ty_pattern
=
|
TPattern : 'a pattern -> ty_pattern
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
=
|
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.