def reduce_go

bend-collections@1.0.0.0 · src/crypto/secp256k1/limbs.bend:152

import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbs

import Base

152def reduce_go(+c: List<&2, Nat>, k: Nat, xs: List<&2, Nat>) -> List<&2, Nat>:
153  canon(c, take(16n, rounds(k, c, carry(32n, xs, 0n))))

Uses (6)

Used by (1)

bend-collections@1.0.0.0/src/crypto/secp256k1/limbs:reduce