Type Alias ResultTool

ResultTool: LogMap & {
    kind: "tool";
    output: ToolOutput[];
}

Result of a Misti operation that executed an internal tool.

Settings

Member Visibility