Index of types


G
grammar [Cfg_intf.CFG]
The type of context-free grammars

L
live_grammar [Cfg_intf.CFG]
The type of live CFGs

N
nt [Cfg_intf.SPEC]
Nonterminals

P
prod [Cfg_intf.SPEC]
Productions

S
symbol [Cfg_intf.SPEC]

T
t [Cfg_intf.SPEC]
Terminals
token [Bnf_parser]