pub fn step<const C: usize, const W: usize, const P: usize, const R: usize>(
i: Input<C, P, R>,
r: State<C, W, P, R>,
) -> (Output<P, R>, State<C, W, P, R>)Expand description
Prestate outputs transfer this edge; next-state completion advances the watermark, but a decided ACK cannot transfer on that completion edge.