def value_num

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

import Base

110def value_num(+x: U32, num: Bool) -> Maybe<&2, U32>:
111  match num:
112    case True{}:
113      Some{U32.add(x, 4)}
114    case False{}:
115      value_sym(x, U32.is_eq(x, 43))