let
term_mk_bvsub (n,i,j) =
Bitvector
.mk_sub n i j