~/jendhub

def PairOps

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_declaration.bend:48

import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as OrdinaryRecoveryDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

48# Operation-family alias for a bundle of left and right recovery grants acting
49# on the same opaque frame. Keep their order consistent with the paired
50# recovery product constructed by both.
51def PairOps(~L:Type -> Type,~R:Type -> Type,H:Type) -> Type:Cap.Bundle<L(H),R(H)>

Uses (1)

Used by (1)