Skip to main content

lower_capability_item_ir

bynk_lower

Function lower_capability_item_ir 

Source 
pub fn lower_capability_item_ir(
    cap: &CapabilityDecl,
    program: &CheckedProgram,
) -> IrItem
Expand description

P6.12 (#1173): assemble a capability declaration into a real bynk_ir::IrItem::Capability — structural mirror of lower_service_item_ir/lower_agent_item_ir, but with nothing to compute once and share: CapabilityDecl carries no state/invariants/ transitions/protocol of its own, only ops, so each op lowers independently through lower_op_sig_ir.