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 image;
pub(super) mod program;
pub(super) mod role;

pub(crate) use self::{
    image::{CompiledProgramRef, RoleDescriptorRef, RoleImageSlice},
    program::{ControlSemanticKind, ControlSemanticsTable, DynamicPolicySite},
    role::CompiledRoleImage,
};