mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pub mod cancel_00;
pub mod cancel_01;
pub mod cancel_02;
pub mod cancel_03;
pub mod cancel_04;
pub mod cancel_05;
pub mod cancel_06;
pub mod cancel_07;
pub mod cancel_08;
pub mod cancel_09;
pub mod cancel_10;
pub mod cancel_11;
pub mod cancel_12;
pub mod cancel_13;
pub mod cancel_14;
pub mod cancel_15;
pub mod cancel_16;