Function vstd::pervasive::proof_from_false

source · 
pub proof fn proof_from_false<A>() -> tracked A
Expand description