refl
pub const fn refl<T: ?Sized>() -> Id<T, T>
Construct a proof witness of the fact that a type is equivalent to itself.
This is equivalent to Id::REFL.
Id::REFL