Function type_equalities::refl [−][src]
Expand description
Construct evidence of the reflexive equality T == T
.
There is also a constructor-like version of this, TypeEq::refl
.
Construct evidence of the reflexive equality T == T
.
There is also a constructor-like version of this, TypeEq::refl
.