hibana-0.2.0
Platform
Feature flags

docs.rs

Rust

hibana 0.2.0

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols

Crate
Source
Builds
Feature flags

..
route_frontier
runtime
control.rs
core.rs
core_offer_tests.rs
decode.rs
endpoint_init.rs
mod.rs
recv.rs

//! Control-message semantic helpers for the endpoint kernel.