vstd
In vstd::
pervasive
vstd
::
pervasive
Function
affirm
Copy item path
Source
pub
proof
fn affirm(b:
bool
)
Expand description
requires
b,