@convex-dev/agent 0.6.0-alpha.0 → 0.6.0-beta.0

package/dist/client/definePlaygroundAPI.d.ts

@@ -15,7 +15,6 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
         apiKey: string;
     }, Promise<boolean>>;
     listUsers: import("convex/server").RegisteredQuery<"public", {
-        apiKey: string;
         paginationOpts: {
             id?: number;
             endCursor?: string | null;
@@ -24,6 +23,7 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             numItems: number;
             cursor: string | null;
         };
+        apiKey: string;
     }, Promise<{
         page: {
             _id: string;
@@ -36,7 +36,6 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
     }>>;
     listThreads: import("convex/server").RegisteredQuery<"public", {
         userId?: string | undefined;
-        apiKey: string;
         paginationOpts: {
             id?: number;
             endCursor?: string | null;
@@ -45,6 +44,7 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             numItems: number;
             cursor: string | null;
         };
+        apiKey: string;
     }, Promise<{
         page: {
             lastAgentName: string | undefined;
@@ -74,7 +74,6 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             }[];
         } | undefined;
         threadId: string;
-        apiKey: string;
         paginationOpts: {
             id?: number;
             endCursor?: string | null;
@@ -83,11 +82,12 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             numItems: number;
             cursor: string | null;
         };
+        apiKey: string;
     }, Promise<{
         streams: import("./types.js").SyncStreamsReturnValue;
         page: {
-            id?: string | undefined;
             userId?: string | undefined;
+            id?: string | undefined;
             embeddingId?: string | undefined;
             fileIds?: string[] | undefined;
             error?: string | undefined;
@@ -244,9 +244,9 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                     toolCallId: string;
                     toolName: string;
                 } | {
-                    title?: string | undefined;
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
+                    title?: string | undefined;
                     id: string;
                     type: "source";
                     url: string;
@@ -256,10 +256,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
                     filename?: string | undefined;
                     id: string;
-                    title: string;
                     type: "source";
                     mediaType: string;
                     sourceType: "document";
+                    title: string;
                 } | {
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -375,10 +375,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 totalTokens: number;
             } | undefined;
             sources?: ({
-                title?: string | undefined;
                 type?: "source" | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 url: string;
                 sourceType: "url";
@@ -387,10 +387,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             })[] | undefined;
             warnings?: ({
                 details?: string | undefined;
@@ -404,7 +404,7 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 type: "other";
                 message: string;
             })[] | undefined;
-            finishReason?: "error" | "length" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
+            finishReason?: "length" | "error" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
             reasoningDetails?: ({
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -419,13 +419,13 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 type: "redacted";
                 data: string;
             })[] | undefined;
-            status: "pending" | "success" | "failed";
-            order: number;
+            _id: string;
             _creationTime: number;
             threadId: string;
+            order: number;
             stepOrder: number;
+            status: "pending" | "success" | "failed";
             tool: boolean;
-            _id: string;
         }[];
         isDone: boolean;
         continueCursor: import("convex/server").Cursor;
@@ -445,9 +445,9 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
         tools: string[];
     }[]>>;
     createThread: import("convex/server").RegisteredMutation<"public", {
+        agentName?: string | undefined;
         title?: string | undefined;
         summary?: string | undefined;
-        agentName?: string | undefined;
         userId: string;
         apiKey: string;
     }, Promise<{
@@ -604,9 +604,9 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 toolCallId: string;
                 toolName: string;
             } | {
-                title?: string | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 type: "source";
                 url: string;
@@ -616,10 +616,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             } | {
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -772,10 +772,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 totalTokens: number;
             } | undefined;
             sources?: ({
-                title?: string | undefined;
                 type?: "source" | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 url: string;
                 sourceType: "url";
@@ -784,10 +784,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             })[] | undefined;
             warnings?: ({
                 details?: string | undefined;
@@ -801,7 +801,7 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 type: "other";
                 message: string;
             })[] | undefined;
-            finishReason?: "error" | "length" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
+            finishReason?: "length" | "error" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
             reasoningDetails?: ({
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -965,9 +965,9 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                     toolCallId: string;
                     toolName: string;
                 } | {
-                    title?: string | undefined;
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
+                    title?: string | undefined;
                     id: string;
                     type: "source";
                     url: string;
@@ -977,10 +977,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
                     filename?: string | undefined;
                     id: string;
-                    title: string;
                     type: "source";
                     mediaType: string;
                     sourceType: "document";
+                    title: string;
                 } | {
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1239,9 +1239,9 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 toolCallId: string;
                 toolName: string;
             } | {
-                title?: string | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 type: "source";
                 url: string;
@@ -1251,10 +1251,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             } | {
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1380,8 +1380,8 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
         };
         apiKey: string;
     }, Promise<{
-        id?: string | undefined;
         userId?: string | undefined;
+        id?: string | undefined;
         embeddingId?: string | undefined;
         fileIds?: string[] | undefined;
         error?: string | undefined;
@@ -1538,9 +1538,9 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 toolCallId: string;
                 toolName: string;
             } | {
-                title?: string | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 type: "source";
                 url: string;
@@ -1550,10 +1550,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             } | {
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1669,10 +1669,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             totalTokens: number;
         } | undefined;
         sources?: ({
-            title?: string | undefined;
             type?: "source" | undefined;
             providerOptions?: Record<string, Record<string, any>> | undefined;
             providerMetadata?: Record<string, Record<string, any>> | undefined;
+            title?: string | undefined;
             id: string;
             url: string;
             sourceType: "url";
@@ -1681,10 +1681,10 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             providerMetadata?: Record<string, Record<string, any>> | undefined;
             filename?: string | undefined;
             id: string;
-            title: string;
             type: "source";
             mediaType: string;
             sourceType: "document";
+            title: string;
         })[] | undefined;
         warnings?: ({
             details?: string | undefined;
@@ -1698,7 +1698,7 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             type: "other";
             message: string;
         })[] | undefined;
-        finishReason?: "error" | "length" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
+        finishReason?: "length" | "error" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
         reasoningDetails?: ({
             providerOptions?: Record<string, Record<string, any>> | undefined;
             providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1713,13 +1713,13 @@ export declare function definePlaygroundAPI<DataModel extends GenericDataModel>(
             type: "redacted";
             data: string;
         })[] | undefined;
-        status: "pending" | "success" | "failed";
-        order: number;
+        _id: string;
         _creationTime: number;
         threadId: string;
+        order: number;
         stepOrder: number;
+        status: "pending" | "success" | "failed";
         tool: boolean;
-        _id: string;
     }[]>>;
 };
 //# sourceMappingURL=definePlaygroundAPI.d.ts.map

package/dist/client/index.d.ts

@@ -355,8 +355,8 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
     }): Promise<{
         messageId: string;
         message: {
-            id?: string | undefined;
             userId?: string | undefined;
+            id?: string | undefined;
             embeddingId?: string | undefined;
             fileIds?: string[] | undefined;
             error?: string | undefined;
@@ -513,9 +513,9 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                     toolCallId: string;
                     toolName: string;
                 } | {
-                    title?: string | undefined;
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
+                    title?: string | undefined;
                     id: string;
                     type: "source";
                     url: string;
@@ -525,10 +525,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
                     filename?: string | undefined;
                     id: string;
-                    title: string;
                     type: "source";
                     mediaType: string;
                     sourceType: "document";
+                    title: string;
                 } | {
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -644,10 +644,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 totalTokens: number;
             } | undefined;
             sources?: ({
-                title?: string | undefined;
                 type?: "source" | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 url: string;
                 sourceType: "url";
@@ -656,10 +656,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             })[] | undefined;
             warnings?: ({
                 details?: string | undefined;
@@ -673,7 +673,7 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 type: "other";
                 message: string;
             })[] | undefined;
-            finishReason?: "error" | "length" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
+            finishReason?: "length" | "error" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
             reasoningDetails?: ({
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -688,13 +688,13 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 type: "redacted";
                 data: string;
             })[] | undefined;
-            status: "pending" | "success" | "failed";
-            order: number;
+            _id: string;
             _creationTime: number;
             threadId: string;
+            order: number;
             stepOrder: number;
+            status: "pending" | "success" | "failed";
             tool: boolean;
-            _id: string;
         };
     }>;
     /**
@@ -819,6 +819,53 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
     generateAndSaveEmbeddings(ctx: ActionCtx, args: {
         messageIds: string[];
     }): Promise<void>;
+    /**
+     * Approve a tool call that requires human approval.
+     * Saves a `tool-approval-response` message to the thread.
+     * After calling this, call `agent.streamText` or `agent.generateText`
+     * with `promptMessageId` set to the returned `messageId` to continue
+     * generation — the AI SDK will automatically execute the approved tool.
+     *
+     * The approval response is attached to the same generation order as the
+     * original approval request, preserving tool_call/tool_result adjacency in
+     * the continuation context even if newer thread messages exist.
+     *
+     * @param ctx A ctx object from a mutation.
+     * @param args.threadId The thread containing the tool call.
+     * @param args.approvalId The approval ID from the tool-approval-request part.
+     * @param args.reason Optional reason for approval.
+     * @returns The messageId of the saved approval response message.
+     */
+    approveToolCall(ctx: MutationCtx, args: {
+        threadId: string;
+        approvalId: string;
+        reason?: string;
+    }): Promise<{
+        messageId: string;
+    }>;
+    /**
+     * Deny a tool call that requires human approval.
+     * Saves a `tool-approval-response` message to the thread.
+     * After calling this, call `agent.streamText` or `agent.generateText`
+     * with `promptMessageId` set to the returned `messageId` to continue
+     * generation — the AI SDK will automatically create an `execution-denied`
+     * result and let the model respond accordingly.
+     *
+     * @param ctx A ctx object from a mutation.
+     * @param args.threadId The thread containing the tool call.
+     * @param args.approvalId The approval ID from the tool-approval-request part.
+     * @param args.reason Optional reason for denial.
+     * @returns The messageId of the saved denial response message.
+     */
+    denyToolCall(ctx: MutationCtx, args: {
+        threadId: string;
+        approvalId: string;
+        reason?: string;
+    }): Promise<{
+        messageId: string;
+    }>;
+    private respondToToolCallApproval;
+    private findApprovalContext;
     /**
      * Explicitly save a "step" created by the AI SDK.
      * @param ctx The ctx argument to a mutation or action.
@@ -1201,9 +1248,9 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 toolCallId: string;
                 toolName: string;
             } | {
-                title?: string | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 type: "source";
                 url: string;
@@ -1213,10 +1260,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             } | {
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1349,7 +1396,6 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
             saveMessages?: "all" | "none" | "promptAndOutput" | undefined;
         } | undefined;
         callSettings?: {
-            headers?: Record<string, string> | undefined;
             maxOutputTokens?: number | undefined;
             temperature?: number | undefined;
             topP?: number | undefined;
@@ -1359,6 +1405,7 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
             stopSequences?: string[] | undefined;
             seed?: number | undefined;
             maxRetries?: number | undefined;
+            headers?: Record<string, string> | undefined;
         } | undefined;
     }, Promise<{
         text: string;
@@ -1529,9 +1576,9 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 toolCallId: string;
                 toolName: string;
             } | {
-                title?: string | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 type: "source";
                 url: string;
@@ -1541,10 +1588,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             } | {
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1670,7 +1717,6 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
             saveMessages?: "all" | "none" | "promptAndOutput" | undefined;
         } | undefined;
         callSettings?: {
-            headers?: Record<string, string> | undefined;
             maxOutputTokens?: number | undefined;
             temperature?: number | undefined;
             topP?: number | undefined;
@@ -1680,6 +1726,7 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
             stopSequences?: string[] | undefined;
             seed?: number | undefined;
             maxRetries?: number | undefined;
+            headers?: Record<string, string> | undefined;
         } | undefined;
     }, Promise<{
         object: T;
@@ -1695,16 +1742,16 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
     asSaveMessagesMutation(): import("convex/server").RegisteredMutation<"internal", {
         userId?: string | undefined;
         promptMessageId?: string | undefined;
+        failPendingSteps?: boolean | undefined;
         embeddings?: {
             model: string;
             vectors: (number[] | null)[];
         } | undefined;
-        failPendingSteps?: boolean | undefined;
         threadId: string;
         messages: {
-            status?: "pending" | "success" | "failed" | undefined;
             fileIds?: string[] | undefined;
             error?: string | undefined;
+            status?: "pending" | "success" | "failed" | undefined;
             model?: string | undefined;
             provider?: string | undefined;
             text?: string | undefined;
@@ -1718,10 +1765,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 totalTokens: number;
             } | undefined;
             sources?: ({
-                title?: string | undefined;
                 type?: "source" | undefined;
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
+                title?: string | undefined;
                 id: string;
                 url: string;
                 sourceType: "url";
@@ -1730,10 +1777,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
                 filename?: string | undefined;
                 id: string;
-                title: string;
                 type: "source";
                 mediaType: string;
                 sourceType: "document";
+                title: string;
             })[] | undefined;
             warnings?: ({
                 details?: string | undefined;
@@ -1747,7 +1794,7 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                 type: "other";
                 message: string;
             })[] | undefined;
-            finishReason?: "error" | "length" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
+            finishReason?: "length" | "error" | "other" | "stop" | "content-filter" | "tool-calls" | "unknown" | undefined;
             reasoningDetails?: ({
                 providerOptions?: Record<string, Record<string, any>> | undefined;
                 providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -1911,9 +1958,9 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                     toolCallId: string;
                     toolName: string;
                 } | {
-                    title?: string | undefined;
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
+                    title?: string | undefined;
                     id: string;
                     type: "source";
                     url: string;
@@ -1923,10 +1970,10 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
                     filename?: string | undefined;
                     id: string;
-                    title: string;
                     type: "source";
                     mediaType: string;
                     sourceType: "document";
+                    title: string;
                 } | {
                     providerOptions?: Record<string, Record<string, any>> | undefined;
                     providerMetadata?: Record<string, Record<string, any>> | undefined;
@@ -2035,9 +2082,9 @@ CustomCtx extends object = object, AgentTools extends ToolSet = any> {
     }, Promise<{
         lastMessageId: string;
         messages: {
+            _id: string;
             order: number;
             stepOrder: number;
-            _id: string;
         }[];
     }>>;
 }