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