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

import Base

# whether two moves are one
def move.eq(aa: Shift, bb: Shift) -> Bool:
  Shift{an, ao, aw} = aa
  Shift{bn, bo, bw} = bb
  Bool.and(String.eq(an, bn), Bool.and(String.eq(ao, bo), String.eq(aw, bw)))

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