def cr.ks.after

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

import bend-osdev-crypto@0.1.0.0/stream.bend as Stream

import Base

70def cr.ks.after(~S: Data, ~next: S -> CrKsStep<S>, ys: List<&2, U32>, +s: S) -> S:
71  match ys:
72    case Nil{}:
73      s
74    case Con{x, t}:
75      cr.ks.after(~S, ~next, t, CrKsStep.st(~S, next(s)))

Uses (4)

Used by (6)