Function vstd::pervasive::runtime_assert

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