import { z } from 'zod';
import type { CheckpointState } from '../../core/types.ts';
import type { UnknownRestBinding } from '../rest-bindings.ts';
declare const getCheckpointAtInput: z.ZodObject<{
    workflowId: z.ZodString;
    step: z.ZodNumber;
}, z.core.$strip>;
export type GetCheckpointAtInput = z.infer<typeof getCheckpointAtInput>;
export type GetCheckpointAtOutput = CheckpointState;
export declare const getCheckpointAtOperation: import("../operation-catalog.ts").OperationDefinition<{
    workflowId: string;
    step: number;
}, CheckpointState, unknown>;
export declare const getCheckpointAtRestBinding: UnknownRestBinding;
export {};