def is_zero

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/src/time.bend:14

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

14def is_zero(t: T.Int64) -> Bool:
15  T.I64{w} = t
16  W.is_zero(64n, w)