~/jendhub

def move.eq

ezx@1.11.0.0 · src/ws/moved.bend:235

import ezx@1.11.0.0/src/ws/moved.bend as Moved
import Base

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

Uses (4)

Used by (1)