def expand

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

import bend-collections@1.0.0.0/spec/crypto/hkdf.bend as Hkdf
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()))

Uses (7)

Used by (1)