def first

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

import Base

39# Extract the first closed grant from a capability bundle, consuming it.
40def first(~A: Type,~B: Type,cap: Bundle<A,B>) -> A:
41  match cap:
42    case Bundle{a,_}: a