def parse_t

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

import Base

357def parse_t(+m: Nat, r: Maybe<&2, Got>) -> Maybe<&2, Phc>:
358  match r:
359    case None{}:
360      None{}
361    case Some{Got{+t, rest}}:
362      parse_t2(m, t, strip(",p=", rest))