let
mk_one n =
mk_const(
Bitv
.create n
true
)