type Got
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phcimport Base
19# A number read and the rest of the string.
20type Got is Data:
21 Got{value: Nat, rest: String}
Uses (2)
Used by (11)
- 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:parse_format
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:parse_m
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc:parse_p
- …