def expand_if

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

import Base

41# Expand is defined for L <= 255*HashLen only.
42def expand_if(+prk: List<&2, U32>, +info: List<&2, U32>, +len: Nat, ok: Bool) -> Maybe<&2, List<&2, U32>>:
43  match ok:
44    case True{}:
45      Some{okm(prk, info, len)}
46    case False{}:
47      None{}