/** Anonymous record checks own reusable functions, just as declared records do. */
import type { ValueType } from "../types.ts";
type ObjectType = Extract<ValueType, {
    kind: "object";
}>;
export interface StructuralCheckHost {
    readonly typeCheckDeclarations: string[];
}
export declare class StructuralCheckEmitter {
    private readonly plans;
    private nextPlan;
    private readonly traversal;
    private readonly host;
    constructor(host: StructuralCheckHost);
    emit(type: ObjectType, value: string, state: string, narrow: boolean, generic: boolean, check: (field: ValueType, value: string, state: string) => string): string;
    /** Finite closed shapes need no graph memo; recursive or parameterized edges do. */
    private needsTraversal;
}
export {};
//# sourceMappingURL=structural-checks.d.ts.map