def when_open

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

import Base

93def when_open(ok: Bool, r: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
94  match ok:
95    case True{}: r
96    case False{}: None{}