hibana 0.9.2

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
Documentation
1
2
3
4
5
6
7
8
9
//! Crate-private lowering owners for the unified compiled pipeline.
//!
//! This module is intentionally internal. It keeps the public-facing law small
//! while grouping internal owners by responsibility: lowering validation,
//! sealed runtime images, and resident descriptor views. Attach never uses transient
//! materialization glue.

pub(crate) mod images;
pub(crate) mod lowering;