finery

It might be nice to have refinement types in Rust. If you would like to try implementing them in a library such as this might be, contact the trust project!

This crate is part of the trust project and is open to volunteers who would like to bring it to fruition. See also bounder.