Function prop::and::true_arg

source · [−]
pub fn true_arg<A: Prop>((_, x): And<True, A>) -> A
Expand description

(true ∧ a) => true.