BExp. Exp ::= Exp1 BOp Exp1 ;
op1. Exp1 ::= Exp1 Op1 Exp2 ;
define op1 e1 o e2 = OpExp e1 o e2 ;
op2. Exp2 ::= Exp2 Op2 Exp3 ;
define op2 e1 o e2 = OpExp e1 o e2 ;
BExp. Exp ::= Exp1 BOp Exp1 ;
op1. Exp1 ::= Exp1 Op1 Exp2 ;
define op1 e1 o e2 = OpExp e1 o e2 ;
op2. Exp2 ::= Exp2 Op2 Exp3 ;
define op2 e1 o e2 = OpExp e1 o e2 ;