def verified

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/password.bend:253

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/password.bend as PW

253# The result of hash_password verifies (vacuously when it is None).
254def verified(+pw: List<&2, U32>, r: Maybe<&2, String>) -> Bool:
255  match r:
256    case None{}:
257      True{}
258    case Some{s}:
259      PW.verify_password(pw, s)