def starts_digit
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
233def starts_digit(s: String) -> Bool:
234 match s:
235 case SNil{}:
236 False{}
237 case SCon{Chr{+x}, rest}:
238 is_digit(x)
Uses (4)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:read
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:read_go
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:dec_go_rt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:dec_rt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/phc:dec_step
- …