~/jendhub

def u

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/phc.bend:29

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc.bend as Phc
import Base

29def u(+n: Nat) -> U32:
30  U32.from_nat(n)

Uses (3)

Used by (10)