~/jendhub

def is_zero

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

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

196def is_zero(xs: List<&2, Nat>) -> Bool:
197  Nat.is_eq(nonzero(xs, 0n), 0n)

Uses (5)

Used by (5)