- bit-vector-full? bv toprocedure
#t iff BV has all bits lower than TO set (the low end is 2^i-1)
The individual bits in the vector are accessed and set as boolean values:
#t iff BV has all bits lower than TO set (the low end is 2^i-1)
The individual bits in the vector are accessed and set as boolean values: