Password.same: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/password.bend as Password
Lines 73-76 of bend-collections@1.0.0.0/src/crypto/password.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/password.bend&start_line=73&end_line=76

import Base
import bend-collections@1.0.0.0/src/crypto/argon2/phc.bend as PHC

def same(+x: PHC.Phc, params: Params) -> Bool:
  match x params:
    case PHC.Phc{+m, +t, +p, +salt, +hash} Params{+pm, +pt, +pp, +ptag, +psalt}:
      Bool.and(Bool.and(Nat.is_eq(m, pm), Bool.and(Nat.is_eq(t, pt), Nat.is_eq(p, pp))), Bool.and(Nat.is_eq(len(hash), ptag), Nat.is_eq(len(salt), psalt)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=Phc
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/password.bend&name=Params
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/password.bend&name=len