Moved.stale: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/moved.bend as Moved
Lines 193-202 of ezx@1.11.0.0/src/ws/moved.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/moved.bend&start_line=193&end_line=202

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

# why a plain lock refuses: the first committed file with a line naming a
# moved member's recorded hash, "" when none does
def stale(+ms: List<&2, Shift>, fs: List<&2, K.Source>) -> String:
  match fs:
    case []:
      ""
    case K.Source{+at, +text} <> tl:
      +here = stale.moves(ms, at, text)
      rest = stale(ms, tl)
      Bool.pick(String, String.is_empty(here), rest, here)

Uses (7):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=Shift
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=stale.moves