hibana 0.2.0

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

pub(super) mod image;
pub(super) mod program;
pub(super) mod role;

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