law skip_eq

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/chacha/stream.bend:187

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/chacha20.bend as I
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha.bend as R

187law skip_eq:
188  for +n: Nat
189  for +xs: List<&2, U32>
190  {I.skip(n, xs) == R.suffix(n, xs) : List<&2, U32>}