hibana 0.9.2

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
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;