def key_if

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

import bend-collections-laws-math@1.0.0.0/spec/math/random/chacha8rand.bend as Chacha8rand
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{}

Uses (5)

Used by (4)