def when

bend-collections-laws-crypto@1.0.0.0 · src/crypto/poly1305/poly1305.bend:76

import Base

76def when(ok: Bool, x: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
77  match ok:
78    case True{}: Some{x}
79    case False{}: None{}