mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation
1
2
3
4
5
6
7
8
//! This module contains the basic structures,
//! definitions, traits and functions
//! for the binary sessions.

pub mod end;
pub mod recv;
pub mod send;
pub mod session;