Simple refinement types for Rust.
A basic introduction to the library is available on my blog.
For detailed information, please see the documentation on docs.rs.
The basic usage example on docs.rs is a minimal example that should be easy to follow.
You can also use the examples to get
started. Each example is a complete cargo project of its own. They are meant to be run with
cargo run so that you can view their output and reference it against the code.