hibana 0.6.2

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

//! Control automaton hub.

/// Delegation automata.
pub(crate) mod delegation;
/// Distributed topology automata.
pub(crate) mod distributed;
/// Topology automata.
pub(crate) mod topology;
/// Transaction automata.
pub(crate) mod txn;