s ::= w* Grammar w* => "gram"
-ws !::= w*
+ws !::= w*
grammar ::= R+/ws => "grammar"
Grammar ::= R+ => "grammar"
R ::= word ^"::=" Alternatives
Sequence ::= E+ ^"/" E
> E+
-Conjuncts ::= Rewrite
- | Rewrite ^"&" Sequence
- | Rewrite ^"&~" Sequence
+Conjuncts ::= rewrite
+ | rewrite ^"&" Sequence
+ | rewrite ^"&~" Sequence
-Rewrite ::= Sequence => "rewrite"
- | Sequence ^"=>" word
- | Sequence ^"=>" quoted
- | Sequence "=>" "()" => "wrap"
+rewrite ::= Sequence /ws => "rewrite"
+ | Sequence ^"=>" word /ws
+ | Sequence ^"=>" quoted /ws
+ | Sequence "=>" "()" /ws => "wrap"
range ::= ec => "range0" | ec ^"-" ec => "range0"
E ::= word => "nonTerminalY"