hibana 0.5.2

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

//! Capability subsystem root.
//!
//! This module groups the capability components while keeping mint owners
//! explicit in downstream code.

/// Private codecs for atomic control handles.
pub(crate) mod atomic_codecs;
/// Capability minting.
pub(crate) mod mint;
/// Resource kind definitions.
pub mod resource_kinds;
/// Typed token wrappers.
pub(crate) mod typed_tokens;