ProductionTerminals typedef

ProductionTerminals = Map<String, SymbolSet>

A map with all terminals generated for each production

Implementation

typedef ProductionTerminals = Map<String, SymbolSet>;