def dep.eq

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

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

189# whether two dependencies are one
190def dep.eq(aa: M.Dep, bb: M.Dep) -> Bool:
191  M.Dep{an, ah, ae, asrc} = aa
192  M.Dep{bn, bh, be, bsrc} = bb
193  Bool.and(Bool.and(String.eq(an, bn), String.eq(ah, bh)),
194    Bool.and(String.eq(ae, be), source.eq(asrc, bsrc)))