hibana 0.6.2

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols
Documentation 
1
2
3
4
5
6
7
8
9

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

pub(crate) use self::{
    driver::ProgramSourceLookup,
    driver::{CompiledProgramImage, CompiledProgramView, ProgramStamp, RoleCompiledCounts},
    seal::validate_all_roles,
};