细化类型?
Owned by 8573, t-rust.
#8 in #type-theory
2KB
finery
在Rust中拥有细化类型可能很棒。如果您想尝试在一个类似此的库中实现它们,请联系trust项目!
trust
这个crate是trust项目的一部分,并欢迎志愿者将其完成。另请参阅bounder。
bounder