/**
 * A `loop` at run time: its body again and again, `#1` first, until its
 * condition holds, it gives up, or it reaches `max:`.
 *
 * Reaching the cap is not success: a loop that gave up or ran out fails
 * `unconverged`, unless `on-fail: continue` ends it `ok: true` with
 * `converged: false`. A body node that fails ends the loop at once, and the
 * condition never sees it. What an iteration hands the next goes through
 * `previous` (one iteration back, starting over each time the loop is
 * entered), `carry`, the ledger, and the memory scope the loop opens once for
 * all its iterations.
 */
import type { CheckedLoopNode } from "../checked.ts";
import { type Visited } from "./ended.ts";
import type { Here, Walker } from "./walk.ts";
/** Visits `node` at `path`, its iterations at `path#1`, `path#2`... */
export declare function visitLoop(walker: Walker, node: CheckedLoopNode, path: string, here: Here): Promise<Visited>;
//# sourceMappingURL=loop.d.ts.map