def value_low

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

import Base

117def value_low(+x: U32, low: Bool) -> Maybe<&2, U32>:
118  match low:
119    case True{}:
120      Some{U32.sub(x, 71)}
121    case False{}:
122      value_num(x, in_range(x, 48, 57))