Function vstd::pervasive::assert

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