Skip to main content

affirm

vstd::pervasive

Function affirm 

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