hibana 0.9.3

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
Documentation 
1
2
3
4
5
6
7

pub(super) mod driver;
pub(super) mod seal;

pub(crate) use self::{
    driver::{CompiledProgramImage, RoleCompiledCounts},
    seal::projection_error_all_roles,
};