Session Types for Rust

At the point of the last update of this README, the latest published version could be used like this:

Add the following dependency to your Cargo manifest…

…and see the docs for how to use it. In this case, our protocol is:

The protocol is the dual, which is a well-defined concept in session types. But implementing session types requires a way to model that certain actions in the protocol have taken place.

Source: github.com