def is_zero
import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbsimport Base
196def is_zero(xs: List<&2, Nat>) -> Bool:
197 Nat.is_eq(nonzero(xs, 0n), 0n)
import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbsimport Base
196def is_zero(xs: List<&2, Nat>) -> Bool:
197 Nat.is_eq(nonzero(xs, 0n), 0n)