def rewind

bend-lawful-stdlib@0.1.0.0 · src/sim.bend:56

import Base
import bend-lawful-stdlib@0.1.0.0/src/class.bend as C

56def rewind(~P: Data, ~g: C.Group<P>, ~F: P -> P, n: Nat, s: State<P>) -> State<P>:
57  match n:
58    case 0n:
59      s
60    case 1n+k:
61      rewind(~P, ~g, ~F, k, back(~P, ~g, ~F, s))