let
e_bnot = unop
TERM
.
I_bnot