def second

bendvy-ecs-core@0.1.0.3 · capabilities.bend:43

import Base

43# Extract the second closed grant from a capability bundle, consuming it.
44def second(~A: Type,~B: Type,cap: Bundle<A,B>) -> B:
45  match cap:
46    case Bundle{_,b}: b