Crate identity [] [src]

Modules

lift

Structs

Refl

Traits

Equals
Identity

An identity type; that is, the type of “equality witnesses.”

IdentityUtil