~/jendhub

def fold

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

import bend-collections@1.0.0.0/src/crypto/poly1305/limbs.bend as Limbs
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)))

Uses (6)

Used by (1)