def zero

import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as Numeric

import Base

36def zero(w: Word(64n)) -> Bool:
37  Cmp.is_eq(Word.cmp(64n, w, Word.zero(64n)))

Uses (5)