def when

bend-collections-laws-crypto@1.0.0.0 · src/crypto/chacha/chacha20.bend:140

import Base

140def when(ok: Bool, x: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
141  match ok:
142    case True{}: Some{x}
143    case False{}: None{}