Bit vectors can be written and read as a sequence of
1s prefixed by
#1At(#f #f #f #t #f #t #f) ⇒ #*0001010
Some of these operations will eventually be generalized to other uniform-arrays.
Returns the minimum index of an occurrence of bool in bv which is at least k. If no bool occurs within the specified range
If uve is a bit-vector, then bv and uve must be of the same length. If bool is
#t, then uve is OR'ed into bv; If bool is
#f, the inversion of uve is AND'ed into bv.
If uve is a unsigned integer vector, then all the elements of uve must be between 0 and the
LENGTHof bv. The bits of bv corresponding to the indexes in uve are set to bool.
The return value is unspecified.