Function assume

Source
pub fn assume(p: bool)