def cr.ks.out

bend-osdev-crypto@0.1.0.0 · stream.bend:97

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

97def cr.ks.out(~S: Data, r: CrKsRun<S>) -> CrXorOut<S>:
98  match r:
99    case CrKsRun{st, rev}:
100      CrXorOut{st, B.Octets.of_list(cr.rev_onto(rev, Nil{}))}