let
term_mk_bwite n (a,b,c) =
Bitvector
.mk_bitwise n a b c