psy ::= ps
| ps wp ^"/" ws e
psx ::= psy => "psy"
- | e "<-" psy /ws => "psyl"
+// | e "<-" psy /ws => "psyl"
| psy "->" e /ws => "psyr"
- | e "<-" psy "->" e /ws => "psylr"
+// | e "<-" psy "->" e /ws => "psylr"
Sequence ::= Quoted => "qprod"
> psx
| psx "=>" ^"[]" /ws