def addl

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/field.bend:26

import Base

26# limbwise sum; the longer tail is kept
27def addl(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
28  match xs:
29    case Nil{}:
30      ys
31    case Con{x, xt}:
32      match ys:
33        case Nil{}:
34          Con{x, xt}
35        case Con{y, yt}:
36          Con{U32.add(x, y), addl(xt, yt)}