hibana 0.9.6

Choreography-derived runtime enforcement kernel for no_std Rust multiparty protocols
Documentation 
1
2
3
4

//! Lease subsystem hub for rendezvous sessions.

/// Lease core types.
pub(crate) mod core;