def fold

bend-collections-laws-crypto@1.0.0.0 · src/crypto/poly1305/limbs.bend:62

import Base

62# 2^136 = 64 p + 320: limbs 17.. are folded onto limbs 0.. times 320.
63def fold(+z: List<&2, U32>) -> List<&2, U32>:
64  add(take(17n, z), scale(320, skip(17n, z)))