/** A grammar (a set of nonterminals) */
public static class GrammarNode extends HashMap<String,NonTerminalNode> {
public @bind.as("Grammar") GrammarNode(NonTerminalNode[] nonterminals) {
/** A grammar (a set of nonterminals) */
public static class GrammarNode extends HashMap<String,NonTerminalNode> {
public @bind.as("Grammar") GrammarNode(NonTerminalNode[] nonterminals) {