Type Alias MistiResultOK

MistiResultOK: {
    kind: "ok";
}

MistiResultOK represents the result of a Misti operation that did not find any warnings.

Settings

Member Visibility