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

pub fn or_intro_l<P, Q>(_: Proof<P>) -> Proof<Or<P, Q>>