Function dependent_ghost::proof::neg_intro

pub fn neg_intro<P, F>(_: F) -> Proof<Neg<P>> where
    F: Fn(Proof<P>) -> Proof<FALSE>,