let
e_bxor = binop
TERM
.
I_bxor