bend-collections@1.0.0.0 · src/crypto/kdf.bend:20
import bend-collections@1.0.0.0/src/crypto/kdf.bend as Kdf
import Base 20def max_length() -> Nat: 21 8160n