Phc.value_low: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/argon2/phc.bend as Phc
Lines 117-122 of bend-collections@1.0.0.0/src/crypto/argon2/phc.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&start_line=117&end_line=122

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=in_range
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=value_num