def depth
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/sized.bend as Sizedimport Base
53def depth(+n: Nat) -> Nat:
54 depth_go(32n, n, 0n, Nat.is_le(n, 1n))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/sized.bend as Sizedimport Base
53def depth(+n: Nat) -> Nat:
54 depth_go(32n, n, 0n, Nat.is_le(n, 1n))