~/jendhub

def PairOps

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_declaration.bend:65

import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_declaration.bend as OrdinaryOwnedEventDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

65# Operation-family alias for left/right emission grants on the same opaque
66# journal stage. Its order matches the recovery product produced by both.
67def PairOps(~L:Type -> Type,~R:Type -> Type,H:Type) -> Type:Cap.Bundle<L(H),R(H)>

Uses (1)

Used by (1)