def add

import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Field

import Base

172def add(a: List<&2, U32>, b: List<&2, U32>) -> List<&2, U32>:
173  reduce(addl(a, b))

Uses (4)