Function prop::and::snd

source · 
pub fn snd<A: Prop, B: Prop>((_, b): And<A, B>) -> B
Expand description

(a ∧ b) => b.