Moved.at: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/moved.bend as Moved
Lines 98-105 of ezx@1.13.0.0/src/ws/moved.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/moved.bend&start_line=98&end_line=105

import Base

# the first member written from a directory, or none
def at(hs: List<&2, Held>, +path: String) -> Maybe<&2, Held>:
  match hs:
    case []:
      None{}
    case +hd <> tl:
      rest = at(tl, path)
      at.pick(String.eq(held.path(hd), path), hd, 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=Maybe
  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.13.0.0/src/ws/moved.bend&name=Held
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/moved.bend&name=at.pick
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/moved.bend&name=held.path