[][src]Function refl::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.