Function departed::logic::axiom

pub fn axiom<P>() -> Proof<P>

Creates a proof of a given type.

Library users should NOT use this.