def read_check

bend-collections@1.0.0.0 · src/crypto/argon2/phc.bend:250

import Base

250def read_check(s: String, first: Bool) -> Maybe<&2, Got>:
251  match first:
252    case True{}:
253      Some{read_go(s, 0n, True{})}
254    case False{}:
255      None{}