hibana 0.9.7

Choreographic programming in Rust with no_std and no heap allocation
1
2
3
4
5
6
7
8
9
10

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

pub(crate) use self::{
    driver::{CompiledProgramImage, RoleCompiledCounts},
    seal::{
        projection_diagnostic, validate_passive_child_projection_guarantees,
        validate_route_projection_guarantees,
    },
};