def nk

bend-collections-laws-math@1.0.0.0 · proofs/math/random/chacha8/stream.bend:42

import Base
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8.bend as C8
import bend-collections-laws-math@1.0.0.0/spec/math/random/chacha8rand.bend as S

42# the key of the iteration after them
43def nk(+kl: List<&2, U32>, p: C8.Phase) -> List<&2, U32>:
44  match p:
45    case C8.G0{}:
46      kl
47    case C8.G1{}:
48      S.next_key(kl)
49    case C8.G2{}:
50      S.next_key(kl)
51    case C8.G3{}:
52      S.next_key(kl)