identity

A stable Rust implementation of an identity (a.k.a., “equality witness”) type.