pub fn bit_vector_rank(bits: &[bool]) -> BigUint
The ordinal of a bit vector (position 0 = least significant bit).