def nd

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

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

1136# No character is '$'.
1137def nd(s: String) -> Bool:
1138  match s:
1139    case SNil{}:
1140      True{}
1141    case SCon{c, r}:
1142      Bool.and(Bool.not(PH.dollar(SCon{c, SNil{}})), nd(r))