Capabilities.second: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities
Lines 43-46 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=43&end_line=46

import Base

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

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