$func? Ge (e.Exp1)(e.Exp2) = ;
$func? Gt  (e.Exp1)(e.Exp2) = ;
$func? Le (e.Exp1)(e.Exp2) = ;
$func? Lt  (e.Exp1)(e.Exp2) = ;
$func? Ne (e.Exp1)(e.Exp2) = ;
$func? Eq  (e.Exp1)(e.Exp2) = ;

$func Compare (e.Exp1)(e.Exp2)  = s.Res;   // '<', '>', '='