Theia API Documentation v1.73.0
    Preparing search index...

    Interface ServerToolCallResponsePart

    interface ServerToolCallResponsePart {
        server_tool_calls: ServerToolCall[];
    }
    Index

    Properties

    server_tool_calls

    Properties

    server_tool_calls: ServerToolCall[]

    Settings

    Member Visibility

    On This Page

    Properties