def max_length

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

import Base

11# RFC 5869: L <= 255*HashLen.
12def max_length() -> Nat:
13  8160n

Uses (1)