def CrKsStep.k
import bend-osdev-crypto@0.1.0.0/stream.bend as Streamimport Base
51def CrKsStep.k(~S: Data, r: CrKsStep<S>) -> U32:
52 match r:
53 case CrKsStep{k, st}:
54 k
import bend-osdev-crypto@0.1.0.0/stream.bend as Streamimport Base
51def CrKsStep.k(~S: Data, r: CrKsStep<S>) -> U32:
52 match r:
53 case CrKsStep{k, st}:
54 k