let
term_mk_bwor n a b =
Bitvector
.mk_bitwise n a (
Bitvector
.mk_one n) b