Skip to main content

proof_from_false

Function proof_from_false 

pub fn proof_from_false<A>() -> A