Tag
A Rust crate that implements Galois connections for lawful, composable numeric type conversions with property-tested invariants and compile-time composition.