Function prop::and::fst

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

(a ∧ b) => a.