[−][src]Function departed::logic::or_intro_r

pub fn or_intro_r<P, Q>(_q: &Proof<Q>) -> Proof<Or<P, Q>>