def parse_p

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

import Base

343def parse_p(+m: Nat, +t: Nat, r: Maybe<&2, Got>) -> Maybe<&2, Phc>:
344  match r:
345    case None{}:
346      None{}
347    case Some{Got{+p, rest}}:
348      parse_p2(m, t, p, strip("$", rest))