define postIncr i = EPost i Plus ;
postDecr. Exp3 ::= Ident "--" ;
define postDecr i = EPost i Minus ;
EVar. Exp3 ::= Ident ;
EInt. Exp3 ::= Integer ;
ENeg. Exp3 ::= "-" Exp3 ;
define postIncr i = EPost i Plus ;
postDecr. Exp3 ::= Ident "--" ;
define postDecr i = EPost i Minus ;
EVar. Exp3 ::= Ident ;
EInt. Exp3 ::= Integer ;
ENeg. Exp3 ::= "-" Exp3 ;