def top
import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbsimport Base
142# the part of a carried value above 2^256 (0 or 1 below)
143def top(xs: List<&2, Nat>) -> Nat:
144 horner(drop(16n, xs))
import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbsimport Base
142# the part of a carried value above 2^256 (0 or 1 below)
143def top(xs: List<&2, Nat>) -> Nat:
144 horner(drop(16n, xs))