chickadee
»
iset
»
bit-vector-length
Identifier search
bit-vector-length
bv
procedure
integer-length
: the index of the largest bit set in BV