s             =  ws grammar:Grammar ws
Grammar       =  NonTerminal +/ ws
NonTerminal   =  Word  !wp ^"=" !wp RHS
        
RHS           =  (Sequence +/ (!ws "|" !ws)) +/ (!ws ">" !ws)

Elements      =  e*/ws

PreSequence   = ps::  Elements
              |       (Quoted|Word)   ^"::" PreSequence /ws
              >       PreSequence !wp ^"/"   !ws e
              |       PreSequence     ^"->"     e /ws

Sequence      = psx:: PreSequence
              |       Sequence !ws ^"&"  !ws Elements
              |       Sequence !ws ^"&~" !ws Elements

ec            = ~[\-\]\\]
              | escaped

Range         = range:: ec
              |         ec ^"-" ec

e             =                (Quoted|Word) ^":" e
              > nonTerminal::          Word
              | literal::       Quoted
              |                  ^"()"
              |                  ^"{" Sequence "}"       /ws
              |                  ^"["  Range* "]"
              |                e ^"++"                   /ws -> ~[/]
              |                e ^"+"                    /ws -> ~[+]
              |                e ^"++/" e                /ws        
              |                e ^"+/"  e                /ws        
              |                e ^"**"                   /ws -> ~[/]
              |                e ^"*"                    /ws -> ~[*]
              |                e ^"**/" e                /ws        
              |                e ^"*/"  e                /ws        
              |                  ^"!"   e                /ws
              |                e ^"?"                    /ws
              |                  ^"^"   Quoted
              |     "(" Word     ^")"                    /ws
              >                  ^"(" RHS  ")"           /ws
              |                  ^"~" e
              >  "^^"::           "^"   e

Word       = [a-zA-Z0-9_]++
Quoted     = "\"" ((~[\"\\] | escaped)+) "\""
           | ""::   "\"\""
escaped    = "\n":: "\\n"
           | "\r":: "\\r"
           |        "\\" ~[nr]

w             = " " | "\n" | "\r"
ws            =  "()":: w**
              |  "()":: w** "//" ~[\n]* "\n" ws
wp            =  w++