Type Alias ResultWarnings

ResultWarnings: LogMap & {
    kind: "warnings";
    warnings: Warning[];
}

Result of a Misti operation that found warnings.

Settings

Member Visibility