Doctor.moved.walked: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 177-185 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=177&end_line=185

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

# a member's walk against the lock
def moved.walked(got: K.Walked, +locked: List<&2, Mv.Held>) -> List<&2, DP.Note>:
  match got:
    case K.Walked{+now, +root, _fs, _sums}:
      moved.at(Mv.at(locked, root), root, now)
    case K.Asks{_at}:
      []
    case K.Refused{_why}:
      []

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/pkg/pkg.bend&name=Walked
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=moved.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=Held
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=at