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

//! Internal control-plane kernel behind [`crate::substrate::SessionKit`].
//!
//! `hibana` exposes only two public faces: the app surface at the crate root
//! and the substrate surface at [`crate::substrate`]. This module houses the
//! kernel types that power the substrate facade; it is not a third public face.

/// Runtime configuration types.
pub(crate) mod config;
/// Runtime constants and label universe helpers.
pub(crate) mod consts;