vstd::prelude

Function assert_bitvector_by

pub fn assert_bitvector_by(_: ())