hibana 0.9.0

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

//! Session/lane runtime substrate.

pub(crate) mod brand;
/// Session cluster coordination.
pub(crate) mod cluster;
/// Lease planning and capacity checks.
pub(crate) mod lease;
/// Compact identifiers.
pub(crate) mod types;