vstd::prelude

Function assume_

pub fn assume_(_: bool)