import type { AgentToolResult } from "@earendil-works/pi-agent-core"; import { Text } from "@earendil-works/pi-tui"; import type { Theme } from "../../modes/interactive/theme/theme.js"; import type { ToolRenderResultOptions } from "../extensions/types.ts"; import type { TodoFrontMatter, TodoRecord, TodoToolDetails, TodoToolParams } from "./todos-types.ts"; export declare function serializeTodoForAgent(todo: TodoRecord): string; export declare function serializeTodoListForAgent(todos: TodoFrontMatter[]): string; export declare function renderTodoCall(args: TodoToolParams, theme: Theme): Text; export declare function renderTodoResult(result: AgentToolResult, { expanded, isPartial }: ToolRenderResultOptions, theme: Theme): Text; //# sourceMappingURL=todos-render.d.ts.map