Relock.text.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/relock.bend as Relock
Lines 49-55 of ezx@1.11.0.0/src/add/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/relock.bend&start_line=49&end_line=55

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# the text of the file at a path among a walk's files, "" when none is there
def text.at(fs: List<&2, K.Source>, +at: String) -> String:
  match fs:
    case []:
      ""
    case K.Source{+p, body} <> t:
      found.pick(String.eq(p, at), body, _u => text.at(t, at))

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=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=found.pick
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source