hibana 0.5.3

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::integration::SessionKit`].
//!
//! `hibana` exposes only two public faces: the app surface at the crate root
//! and the integration surface at [`crate::integration`]. This module houses the
//! kernel types that power the integration 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;