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