def decimal
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
226# n in decimal, without leading zeros.
227def decimal(+n: Nat) -> String:
228 dec_go(1n+n, n, SNil{}, Nat.is_lt(n, 10n))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
226# n in decimal, without leading zeros.
227def decimal(+n: Nat) -> String:
228 dec_go(1n+n, n, SNil{}, Nat.is_lt(n, 10n))