Function assert_bit_vector 

pub fn assert_bit_vector(_: bool)