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