  Rusty Variation (RV) is a library for session-typed communication in Rust
which offers strong compile-time correctness guarantees. Programs written using
RV are guaranteed to respect a specified protocol, and are guaranteed to be
free from deadlocks and races.
