Moved.moves.eq: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/moved.bend as Moved
Lines 241-252 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=241&end_line=252

import Base

# whether two lists of moves are one
def moves.eq(aa: List<&2, Shift>, bb: List<&2, Shift>) -> Bool:
  match aa bb:
    case Nil{} Nil{}:
      True{}
    case Nil{} Con{_b, _bt}:
      False{}
    case Con{_a, _at} Nil{}:
      False{}
    case Con{a, at} Con{b, bt}:
      rest = moves.eq(at, bt)
      Bool.and(move.eq(a, b), rest)

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