Crate identity [−] [src]
Modules
elim_helpers | |
lift |
Macros
ty_list! |
Structs
Refl |
Traits
Equals | |
Identity |
An identity type; that is, the type bound of “equality witnesses.” |
Functions
refl |