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 |
| elim_helpers | |
| lift |
| ty_list! |
| Refl |
| Equals | |
| Identity |
An identity type; that is, the type bound of “equality witnesses.” |
| refl |