def CrXor.update
import bend-osdev-crypto@0.1.0.0/stream.bend as Streamimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
102# The stream cipher of a keystream generator: m XORed with the next len(m)
103# keystream bytes, and the state after them
104def CrXor.update(~S: Data, ~next: S -> CrKsStep<S>, s: S, m: B.Octets) -> CrXorOut<S>:
105 cr.ks.out(~S, cr.ks.go(~S, ~next, B.Octets.to_list(m), s, Nil{}))