assume

Function assume 

Source
pub fn assume(p: bool)