~/jendhub

def hash_len

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/hkdf.bend:8

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/hkdf.bend as Hkdf
import Base

8def hash_len() -> Nat:
9  32n

Uses (1)

Used by (1)