Phc.read: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/argon2/phc.bend as Phc
Lines 257-259 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=257&end_line=259

import Base

# A decimal number (at least one digit) and the rest.
def read(+s: String) -> Maybe<&2, Got>:
  read_check(s, starts_digit(s))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=read_check
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=starts_digit