vstd::pervasive

Function unreached

Source 
pub exec fn unreached<A>() -> A
Expand description
requires
false,