def levels
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/memory.bend as Memoryimport Base
58def levels(+n: Nat) -> Nat:
59 levels_go(32n, n, 0n, Nat.is_le(n, 1n))
Uses (3)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:run
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:fits
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/password:run_arg
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/top:cap
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/top:depth_lt
- …