Theia API Documentation v1.65.0
    Preparing search index...
    SDKUserMessage: SDKMessageBase & {
        message: { content: string | ContentBlock[]; role: "user" };
        parent_tool_use_id: string | null;
        type: "user";
    }