hibana 0.8.0

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols
Documentation 
1
2
3
4
5
6
7

#[cfg(test)]
#[inline(always)]
pub(crate) const fn boundary_source_program_image(
    eff_list: &crate::global::const_dsl::EffList,
) -> crate::global::compiled::lowering::CompiledProgramImage {
    crate::global::compiled::lowering::CompiledProgramImage::scan_const(eff_list)
}