Bit vectors can be written and read as a sequence of `0`

s and
`1`

s prefixed by `#*`

.

#1At(#f #f #f #t #f #t #f) ⇒ #*0001010

Some of these operations will eventually be generalized to other uniform-arrays.

— Function: **bit-position**` bool bv k`

Returns the minimum index of an occurrence of

boolinbvwhich is at leastk. If nobooloccurs within the specified range`#f`

is returned.

— Function: **bit-set*!**` bv uve bool`

If

uveis a bit-vector, thenbvanduvemust be of the same length. Ifboolis`#t`

, thenuveis OR'ed intobv; Ifboolis`#f`

, the inversion ofuveis AND'ed intobv.If

uveis a unsigned integer vector, then all the elements ofuvemust be between 0 and the`LENGTH`

ofbv. The bits ofbvcorresponding to the indexes inuveare set tobool.The return value is unspecified.