def when

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aead/chacha20poly1305.bend:88

import Base

88def when(ok: Bool, x: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
89  match ok:
90    case True{}: Some{x}
91    case False{}: None{}