Type Alias ResultOK

ResultOK: LogMap & {
    kind: "ok";
}

Result of a Misti operation that did not find any warnings.

Settings

Member Visibility