def got_nd

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

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

1326def got_nd(+n: Nat, +c: Char, +Y: String) -> {Some{PH.read_go(SCon{c, Y}, n, False{})} == Some{PH.Got{n, SCon{c, Y}}} : Maybe<&2, PH.Got>}:
1327  match c:
1328    case Chr{x}:
1329      {==}