vstd::prelude

Function assert_bit_vector

pub fn assert_bit_vector(_: bool)