def accept

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/gcm.bend:152

import Base

152def accept(ok: Bool, p: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
153  match ok:
154    case True{}:
155      Some{p}
156    case False{}:
157      None{}