hibana 0.2.0

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Lease subsystem hub for rendezvous control.

/// Lease bundle types.
pub(crate) mod bundle;
/// Lease core types.
pub(crate) mod core;
/// Lease graph model.
pub(crate) mod graph;
/// Lease map storage.
pub(crate) mod map;
/// Lease planner.
pub(crate) mod planner;