def zero_count
import bend-collections@1.0.0.0/spec/crypto/sha.bend as Shaimport Base
58def zero_count(+r: Nat) -> Nat:
59 zero_count_if(r, Nat.is_le(r, 55n))
import bend-collections@1.0.0.0/spec/crypto/sha.bend as Shaimport Base
58def zero_count(+r: Nat) -> Nat:
59 zero_count_if(r, Nat.is_le(r, 55n))