Theia API Documentation v1.73.0
    Preparing search index...
    interface SerializableFunctionPart {
        deferred?: boolean;
        kind: "function";
        range: { endExclusive: number; start: number };
        toolRequestId: string;
    }

    Hierarchy (View Summary)

    Index

    Properties

    deferred?: boolean

    True if the tool reference was marked as deferred (~?id / ~{?id}).

    kind: "function"
    range: { endExclusive: number; start: number }
    toolRequestId: string