galois-connections

一个Rust crate，实现了伽罗瓦连接，用于合法且可组合的数值类型转换，具有属性测试的不变性和编译时组合。