identity (cargo): A stable Rust implementation of an identity (a.k.a., “equality witness”) type.
Keywords: type-level|equality|types