Struct type_equalities::type_functions::LoefIdF [−][src]
pub struct LoefIdF<T: ?Sized>(_);
Expand description
A TypeFunction
version of the Martin-Löf identity type:
ApF<LoefIdF<T>, U> == TypeEq<T, U>
.
pub struct LoefIdF<T: ?Sized>(_);
A TypeFunction
version of the Martin-Löf identity type:
ApF<LoefIdF<T>, U> == TypeEq<T, U>
.