def add_words

bend-collections-laws-math@1.0.0.0 · spec/math/random/chacha8rand.bend:108

import Base

108def add_words(xs: List<&2, U32>, ys: List<&2, U32>) -> List<&2, U32>:
109  match xs ys:
110    case Con{x, xt} Con{y, yt}:
111      Con{U32.add(x, y), add_words(xt, yt)}
112    case _ _:
113      Nil{}