def zero_pack

bend-collections-laws-crypto@1.0.0.0 · proofs/math/u64/u64.bend:147

import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/wide.bend as W

147def zero_pack() -> {Word.zero(64n) == W.pack(0, 0) : Word(64n)}:
148  {==}