def okm
import bend-collections@1.0.0.0/spec/crypto/hkdf.bend as Hkdfimport Base
37# OKM = the first L octets of T = T(1) | T(2) | ... | T(N).
38def okm(+prk: List<&2, U32>, +info: List<&2, U32>, +len: Nat) -> List<&2, U32>:
39 List.take(&2, U32, t_blocks(block_count(len), prk, info, Nil{}, 0n), len)