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