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

//! 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 phase: lowering validation, sealed runtime
//! images, and transient materialization glue.

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