def diff

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/limbs.bend:199

import Base

199def diff(xs: List<&2, Nat>, ys: List<&2, Nat>, acc: Nat) -> Nat:
200  match xs ys:
201    case +x <> xt +y <> yt: diff(xt, yt, Nat.add(acc, Nat.add(Nat.sub(x, y), Nat.sub(y, x))))
202    case _ _: acc