unify 0.0.0

Trait-based equality constraint for Rust