def zeros

import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Core

import Base

154def zeros(+r: Nat) -> Nat:
155  zeros_if(r, Nat.is_le(r, 111n))

Uses (3)