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

//! 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 resident descriptor views. Attach never uses transient
//! materialization glue.

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