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].