def read
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
257# A decimal number (at least one digit) and the rest.
258def read(+s: String) -> Maybe<&2, Got>:
259 read_check(s, starts_digit(s))
Uses (5)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:parse_format
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:dec_rt
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:parse_head
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:parse_m2
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:parse_t2