mpstthree-0.1.17
Platform
Feature flags

docs.rs

Rust

mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants

Crate
Source
Builds
Feature flags

..
basic.nuscr
Basic.rs
basic_correct.rs
choice.nuscr
Choice.rs
choice_correct.rs
mod.rs
nested_choice.nuscr
NestedChoice.rs
recursion.nuscr
Recursion.rs
recursion_correct.rs

1
2
3

pub mod basic_correct;
pub mod choice_correct;
pub mod recursion_correct;