def zero
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wideimport Base
4# All bits are represented explicitly: no Nat holds a full-width integer.
5def zero() -> Word(64n):
6 Word.zero(64n)
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wideimport Base
4# All bits are represented explicitly: no Nat holds a full-width integer.
5def zero() -> Word(64n):
6 Word.zero(64n)