def u64_is_zero

bend-collections-laws-math@1.0.0.0 · proofs/math/proof.bend:33

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U
import bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64.bend as P
import bend-collections-laws-math@1.0.0.0/spec/math/u64.bend as SU

33# u64
34def u64_is_zero(+a: U.U64) -> SU.IsZero.value(a):
35  P.is_zero(a)