vstd::prelude

Function assert_

pub fn assert_(_: bool)