define op1 e1 o e2 = OpExp e1 o e2 ;
op2. Exp2 ::= Exp2 Op2 Exp3 ;
define op2 e1 o e2 = OpExp e1 o e2 ;
-postIncr. Exp3 ::= Ident "++" ;
+postIncr. Exp3 ::= Ident "++" ;
define postIncr i = EPost i Plus ;
postDecr. Exp3 ::= Ident "--" ;
define postDecr i = EPost i Minus ;