Moved.cascade.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/moved.bend as Moved
Lines 276-283 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=276&end_line=283

import Base

# rounds, under fuel, until one moves no member further
def cascade.go(fuel: Nat, +ctx: Ctx, +ms: List<&2, Shift>) -> List<&2, Shift>:
  match fuel:
    case 0n:
      ms
    case 1n+f:
      +next = round(ctx, ms)
      cascade.pick(moves.eq(ms, next), ms, _u => cascade.go(f, ctx, next))

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=Nat
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=Ctx
  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=cascade.pick
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=moves.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=round