Type Alias MistiResultWarnings

MistiResultWarnings: {
    kind: "warnings";
    warnings: WarningOutput[];
}

MistiResultWarnings represents the result of a Misti operation that found warnings.

Settings

Member Visibility