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