def CrKsStep.st
import bend-osdev-crypto@0.1.0.0/stream.bend as Streamimport Base
56def CrKsStep.st(~S: Data, r: CrKsStep<S>) -> S:
57 match r:
58 case CrKsStep{k, st}:
59 st
import bend-osdev-crypto@0.1.0.0/stream.bend as Streamimport Base
56def CrKsStep.st(~S: Data, r: CrKsStep<S>) -> S:
57 match r:
58 case CrKsStep{k, st}:
59 st