Function vstd::pervasive::affirm

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