Doctor.moved.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 167-175 of ezx@1.11.0.0/src/ws/doctor.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&start_line=167&end_line=175

import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/ws/moved.bend as Mv

# a member's walk against what the lock records at its directory, once that
# is looked up
def moved.at(found: Maybe<&2, Mv.Held>, +root: String, +now: String) -> List<&2, DP.Note>:
  match found:
    case None{}:
      []
    case Some{hd}:
      Mv.Held{_path, _name, +held} = hd
      Bool.pick(List<&2, DP.Note>, String.eq(now, held), [], [DP.Note{True{}, moved.line(root, now, held)}])

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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.11.0.0/src/doctor/plan.bend&name=Note
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=moved.line
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=Held