def decimal

bend-collections@1.0.0.0 · src/crypto/argon2/phc.bend:226

import bend-collections@1.0.0.0/src/crypto/argon2/phc.bend as Phc
import 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))

Uses (4)

Used by (1)