Type Alias MistiResultTool

MistiResultTool: {
    kind: "tool";
    output: ToolOutput[];
}

MistiResultTool represents the result of a Misti operation that executed an internal tool.

Settings

Member Visibility