Moved.move.found: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/moved.bend as Moved
Lines 127-145 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=127&end_line=145

import Base
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

# the member the lock records at a directory, against what it is now: it
# moves when its hash is not the one the lock records, and it is chosen
# (`--package`, or every member when none is given) or its hash is not the
# one it had before any line was rewritten, which is a member whose files
# the upgrade rewrote
def move.found(
  found: Maybe<&2, Held>,
  +base: String,
  +old: String,
  +only: String,
  rest: List<&2, Shift>
) -> List<&2, Shift>:
  match found:
    case None{}:
      rest
    case Some{hd}:
      Held{_hp, +name, +new} = hd
      move.put(Bool.and(Bool.not(String.eq(new, old)),
        Bool.or(U.chosen(only, name), Bool.not(String.eq(new, base)))), name, old, new, rest)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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/ledger/upgrade.bend&name=chosen
  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=Shift
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=move.put