def dollar_cons

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/phc.bend:1144

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

1144def dollar_cons(+c: Char, +r: String, +r2: String) -> {PH.dollar(SCon{c, r}) == PH.dollar(SCon{c, r2}) : Bool}:
1145  match c:
1146    case Chr{x}:
1147      {==}