Crate identity

Source

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