hibana 0.9.6

Choreography-derived runtime enforcement kernel for no_std Rust multiparty protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

mod current;
mod entry;
mod pool;
mod selection;

pub(super) use self::current::CurrentOfferObservation;
pub(super) use self::entry::{
    CurrentOfferAuthority, CurrentOfferEntry, OfferAlignmentCandidateInput, ProgressEvidence,
    ProgressSiblingPresence,
};
pub(super) use self::pool::OfferAlignmentCandidatePool;
pub(super) use self::selection::{
    CurrentOfferCandidateStatus, OfferAlignmentDecision, OfferAlignmentSelection,
};