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
10

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

/// Runtime constants.
pub(crate) mod consts;
/// Runtime resource substrate.
pub(crate) mod resources;