bend-collections@1.0.0.0 · spec/crypto/hkdf.bend:8
import bend-collections@1.0.0.0/spec/crypto/hkdf.bend as Hkdf
import Base 8def hash_len() -> Nat: 9 32n