def key_if

bend-collections-laws-crypto@1.0.0.0 · spec/math/random/chacha8rand.bend:234

import Base

234def key_if(+bs: List<&2, U32>, ok: Bool) -> Maybe<&2, List<&2, U32>>:
235  match ok:
236    case True{}:
237      Some{words_of(bs)}
238    case False{}:
239      None{}