hibana 0.9.4

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
Documentation 
1
2

/// Crate-private role domain size consumed by lowering/runtime internals.
pub(crate) const ROLE_DOMAIN_SIZE: usize = crate::g::ROLE_DOMAIN_SIZE as usize;