vstd::pervasive

Function assume

Source 
pub proof fn assume(b: bool)
Expand description
ensures
b,