def value
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
73# the value of little-endian radix-2^16 limbs
74def value(+one: Nat, xs: List<&2, Nat>) -> Nat:
75 digits(one, xs)
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
73# the value of little-endian radix-2^16 limbs
74def value(+one: Nat, xs: List<&2, Nat>) -> Nat:
75 digits(one, xs)