def expand

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

import Base

49def expand(+prk: List<&2, U32>, +info: List<&2, U32>, +len: Nat) -> Maybe<&2, List<&2, U32>>:
50  expand_if(prk, info, len, Nat.is_le(len, max_length()))