hibana 0.8.0

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

mod entry;
mod pool;
mod set;

pub(super) use self::entry::{
    CurrentOfferAuthority, CurrentOfferEntry, OfferAlignmentCandidateInput,
};
pub(super) use self::pool::{
    CurrentOfferObservation, OfferAlignmentCandidatePool, OfferAlignmentSelection,
};
pub(super) use self::set::OfferEntrySet;