def nd_tail

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

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

1153def nd_tail(+c: Char, +r: String, +h: {nd(SCon{c, r}) == True{} : Bool}) -> {nd(r) == True{} : Bool}:
1154  L.and_right(Bool.not(PH.dollar(SCon{c, SNil{}})), nd(r), h)