let
term_mk_bwand n a b =
Bitvector
.mk_bitwise n a b (
Bitvector
.mk_zero n)