1 个不稳定版本

0.0.0 2019年7月17日

#8 in #type-theory

Apache-2.0

2KB

finery

在Rust中拥有细化类型可能很棒。如果您想尝试在一个类似此的库中实现它们,请联系trust项目!

这个crate是trust项目的一部分,并欢迎志愿者将其完成。另请参阅bounder

无运行时依赖