def dec2_fin

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

import Base

160def dec2_fin(+x: U32, ok: Bool) -> Maybe<&2, List<&2, U32>>:
161  match ok:
162    case True{}:
163      Some{[x]}
164    case False{}:
165      None{}