def dec3_fin

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/phc.bend:174

import Base

174def dec3_fin(+x: U32, +y: U32, ok: Bool) -> Maybe<&2, List<&2, U32>>:
175  match ok:
176    case True{}:
177      Some{[x, y]}
178    case False{}:
179      None{}