Lock.packs.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock
Lines 705-711 of ezx@1.11.0.0/src/lock/lock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/lock.bend&start_line=705&end_line=711

import Base
import ezx@1.11.0.0/src/toml/toml.bend as T

# every package a lock records
def packs.at(+ss: List<&2, T.Sect>, hs: List<&2, String>) -> List<&2, Pack>:
  match hs:
    case []:
      []
    case h <> t:
      pack_of(ss, h) <> packs.at(ss, t)

Uses (5):
  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=ezx@1.11.0.0/src/lock/lock.bend&name=Pack
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=pack_of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=Sect