~/jendhub

def Int.is_zero

bend-kit-int@0.2.0.0 · int.bend:78

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

78def Int.is_zero(+n: Nat, w: Word(n)) -> Bool:
79  Int.is_eq(n, w, Word.zero(n))

Uses (5)

Used by (6)