def run

stelliferous@0.0.2.0 · traversal_loop.bend:5

import Base

5def run(~State: Type,~step: State -> State,count: Nat,state: State) -> State:
6  match count:
7    case 0n: state
8    case 1n+rest: run(~State,~step,rest,step(state))