/**
 * Grammar-aware CST traversal. `createVisitor(grammar, handlers)` consumes the
 * reflection stamped on interpreted `rules()` maps and macro/compiled grammar
 * maps, precomputes tag dispatch once, and returns a reusable `visit(root)` fn.
 */
import type { CSTChild, CSTNode } from './types.ts';
import { type GrammarWithReflection } from './reflection.ts';
export type Walkable = {
    readonly _tag: string;
    readonly type?: string;
    readonly children?: ReadonlyArray<Walkable>;
};
type GrammarNodeType<G> = G extends GrammarWithReflection<infer NodeType, string> ? NodeType : G extends Record<string, unknown> ? Extract<keyof G, string> : string;
type GrammarNodeTag<G> = G extends GrammarWithReflection<string, infer NodeTag> ? NodeTag : never;
type NodeForType<N extends Walkable, Type extends string> = Extract<N, {
    readonly _tag: 'node';
}> extends never ? CSTNode & {
    readonly type: Type;
} : Extract<N, {
    readonly _tag: 'node';
}> & {
    readonly type: Type;
};
export type VisitorHandler<N extends Walkable, Root extends Walkable = CSTChild, C = undefined> = (node: N, parent: Root | null, ctx: C) => void;
export type VisitorSpec<G, N extends Walkable = CSTChild, C = undefined> = {
    enter?(node: N, parent: N | null, ctx: C): boolean | void;
    leave?(node: N, parent: N | null, ctx: C): void;
    type?: {
        [K in GrammarNodeType<G>]?: VisitorHandler<NodeForType<N, K>, N, C>;
    };
    tag?: {
        [K in GrammarNodeTag<G>]?: VisitorHandler<NodeForType<N, GrammarNodeType<G>>, N, C>;
    };
};
export declare function createVisitor<G extends object, N extends Walkable = CSTChild, C = undefined>(grammar: G, spec: VisitorSpec<G, N, C>): (root: N, ctx?: C) => void;
export {};
//# sourceMappingURL=walk.d.ts.map