def value

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as Field

import Base

73# the value of little-endian radix-2^16 limbs
74def value(+one: Nat, xs: List<&2, Nat>) -> Nat:
75  digits(one, xs)

Uses (3)