def cr.check.two
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
136def cr.check.two(~S: Data, ~update: S -> B.Octets -> St.CrXorOut<S>, s: S, a: B.Octets, b: B.Octets) -> B.Octets:
137 cr.check.two.go(~S, ~update, update(s, a), b)