def add0

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

import Base

106# add k to the lowest limb
107def add0(xs: List<&2, U32>, k: U32) -> List<&2, U32>:
108  match xs:
109    case Nil{}:
110      Nil{}
111    case Con{x, xt}:
112      Con{U32.add(x, k), xt}