mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

//! This module contains all the macros that are used for
//! the interleaved sessions.
//!
//! *This module is available only if MultiCrusty is built with
//! the `"interleaved"` feature.*

#[cfg_attr(doc_cfg, doc(cfg(feature = "interleaved")))]
pub mod fork;

#[cfg_attr(doc_cfg, doc(cfg(feature = "interleaved")))]
pub mod close;

#[cfg_attr(doc_cfg, doc(cfg(feature = "interleaved")))]
pub mod offer;

#[macro_export]
#[doc(hidden)]
macro_rules! bundle_struct_fork_close_multi_interleaved {
    (
        $func_name_close:ident,
        $func_name_fork:ident,
        $meshedchannels_name:ident,
        $n_sessions:literal
    ) => {
        mpstthree::create_meshedchannels!($meshedchannels_name, $n_sessions);
        mpstthree::close_mpst_interleaved!($func_name_close, $meshedchannels_name, $n_sessions);
        mpstthree::fork_mpst_multi_solo!($func_name_fork, $meshedchannels_name, $n_sessions);
    };
}