Limbs.add: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs.bend as Limbs
Lines 25-30 of bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs.bend&start_line=25&end_line=30

import Base

# Limb-wise sum (the shorter list is padded with zeros), no carries.
def add(a: List<&2, U32>, b: List<&2, U32>) -> List<&2, U32>:
  match a b:
    case Nil{} _: b
    case x <> at Nil{}: x <> at
    case x <> at y <> bt: U32.add(x, y) <> add(at, bt)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add