glr_parsing

sglr_parse:=
parsing | parse sexpr with sglr_matching+ endmatch

A GLR parsing expression accepts a token source generator as its first argument. This must be a generator returning a value of union type when applied to the unit argument.

sglr_production:=
parsing | nonterm NAME : sexpr = sglr_matching+ ;

A nonterm directive defines nonterminal as a sequence of symbols and a user action.