Function vstd::pervasive::assume

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