def tool.eq

ezx@1.11.0.0 · src/ws/joint.bend:196

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

196# whether two tools are one
197def tool.eq(aa: M.Tool, bb: M.Tool) -> Bool:
198  M.Tool{an, ae, ab, asrc} = aa
199  M.Tool{bn, be, bb2, bsrc} = bb
200  Bool.and(Bool.and(String.eq(an, bn), String.eq(ae, be)),
201    Bool.and(String.eq(ab, bb2), source.eq(asrc, bsrc)))