Theia API Documentation v1.65.0
    Preparing search index...
    interface ToolResultMessage {
        actor: "user";
        content?: ToolCallResult;
        is_error?: boolean;
        name: string;
        tool_use_id: string;
        type: "tool_result";
    }
    Index

    Properties

    actor: "user"
    content?: ToolCallResult
    is_error?: boolean
    name: string
    tool_use_id: string
    type: "tool_result"