let
e_rshift = binop
TERM
.
I_lsr