Function prop::eq::is_true

source · [−]
pub fn is_true<A: Prop>((f0, _): Eq<True, A>) -> A
Expand description

(true = a) => a.