Capabilities.first: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
Lines 39-42 of bendvy-ecs-core@0.1.0.3/capabilities.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&start_line=39&end_line=42

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=Bundle