departed::logic
pub fn axiom<P>() -> Proof<P>
Creates a proof of a given type.
Library users should NOT use this.