/**
 * A `choice` at run time: its cases' conditions read in order, and the
 * first that holds runs, else the default, in a scope of its own. A condition
 * that cannot be read fails the node; it never counts as false.
 */
import { type CheckedChoiceNode } from "../checked.ts";
import { type Visited } from "./ended.ts";
import type { Here, Walker } from "./walk.ts";
/** The first case whose condition holds, else the default, in a scope of its own. */
export declare function visitChoice(walker: Walker, node: CheckedChoiceNode, path: string, here: Here): Promise<Visited>;
//# sourceMappingURL=choice.d.ts.map