def conv

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

import Base

72# the schoolbook product without carries: conv(x :: xs, ys) = x ys + 2^16 conv(xs, ys)
73def conv(xs: List<&2, Nat>, +ys: List<&2, Nat>) -> List<&2, Nat>:
74  match xs:
75    case Nil{}: Nil{}
76    case x <> xt: add(scal(x, ys), 0n <> conv(xt, ys))