def iterate

stelliferous@0.0.2.0 · proofs/loop_projection.bend:7

import Base
import stelliferous@0.0.2.0/traversal_loop.bend as Loop

7def iterate(~State: Data,~step: State -> State,count: Nat,state: State) -> State:
8  Loop.run(~State,~step,count,state)