Function departed::logic::elim_or

pub fn elim_or<P, Q, R>(
    _p_to_r: fn(_: Proof<P>) -> Proof<R>, 
    _q_to_r: fn(_: Proof<Q>) -> Proof<R>, 
    _or: &Proof<Or<P, Q>>
) -> Proof<R>