runtime_assert

vstd::pervasive

Function runtime_assert 

Source 
pub exec fn runtime_assert(b: bool)
Expand description
requires
b,