def cr.check.two.go
import bend-osdev-crypto@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/stream.bend as St
131def cr.check.two.go(~S: Data, ~update: S -> B.Octets -> St.CrXorOut<S>, o: St.CrXorOut<S>, b: B.Octets) -> B.Octets:
132 match o:
133 case St.CrXorOut{s, d}:
134 B.Octets.append(d, St.CrXor.out_data(~S, update(s, b)))