Function prop::eq::refl

source[−]
pub fn refl<A: Prop>() -> Eq<A, A>
Expand description

a = a.