Stream.CrXor.update: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/stream.bend as Stream
Lines 102-105 of bend-osdev-crypto@0.1.0.0/stream.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/stream.bend&start_line=102&end_line=105

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

# The stream cipher of a keystream generator: m XORed with the next len(m)
# keystream bytes, and the state after them
def CrXor.update(~S: Data, ~next: S -> CrKsStep<S>, s: S, m: B.Octets) -> CrXorOut<S>:
  cr.ks.out(~S, cr.ks.go(~S, ~next, B.Octets.to_list(m), s, Nil{}))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.to_list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/stream.bend&name=CrKsStep
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/stream.bend&name=CrXorOut
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/stream.bend&name=cr.ks.go
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/stream.bend&name=cr.ks.out