Function prop::eq::refl

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

a == a.