Function vstd::pervasive::proof_from_false

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