The sesstype crate provides a representation of (multiparty) session types and utilities to construct and manipulate session types in Rust.
For a background of Multiparty Session Types (MPST), see Multiparty Asynchronous Session Types by Honda, Yoshida and Carbone. This implementation of MPST closely follow the syntax defined in A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming by Scalas et al.
The module provides types and utilities for working with global session types.
The module provides types and utilities for working with local session types.
The module provides parser for a simple session type language.
A structure to represent a message passed between
A participant of a multiparty session.
Payload Type carried by a
Converts a global::Type into a local::Type.