Arc.container: def of near-architecture@0.9.1.0
Import: import near-architecture@0.9.1.0/arc.bend as Arc
Lines 414-420 of near-architecture@0.9.1.0/arc.bend: https://jend.leeeet.dev/read.txt?path=near-architecture@0.9.1.0/arc.bend&start_line=414&end_line=420

import Base

# The container with key `k` (an empty one when `k` is unknown; well_formed rules that out).
def container(+k: String, xs: List<&2, Container>) -> Container:
  match xs:
    case []:
      none()
    case +c <> rest:
      pick_c(str_eq(k, ckey(c)), c, container(k, rest))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Container
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=ckey
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=none
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=pick_c
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=str_eq