def run

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

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

49def run(~P: Data, ~g: C.Group<P>, ~F: P -> P, n: Nat, s: State<P>) -> State<P>:
50  match n:
51    case 0n:
52      s
53    case 1n+k:
54      run(~P, ~g, ~F, k, step(~P, ~g, ~F, s))