[−][src]Function dependent_ghost::proof::impl_elim

pub fn impl_elim<P, Q>(_: Proof<Implies<P, Q>>, _: Proof<P>) -> Proof<Q>