Type Alias TCorePremiseInferenceDiagnostic

TCorePremiseInferenceDiagnostic:
    | {
        antecedentTrue: TCoreQuadrivalentValue;
        consequentTrue: TCoreQuadrivalentValue;
        fired: TCoreQuadrivalentValue;
        firedAndHeld: TCoreQuadrivalentValue;
        isVacuouslyTrue: TCoreQuadrivalentValue;
        kind: "implies";
        leftValue: TCoreQuadrivalentValue;
        premiseId: string;
        rightValue: TCoreQuadrivalentValue;
        rootExpressionId: string;
        rootValue: TCoreQuadrivalentValue;
    }
    | {
        bothSidesFalse: TCoreQuadrivalentValue;
        bothSidesTrue: TCoreQuadrivalentValue;
        kind: "iff";
        leftToRight: TCoreDirectionalVacuity;
        leftValue: TCoreQuadrivalentValue;
        premiseId: string;
        rightToLeft: TCoreDirectionalVacuity;
        rightValue: TCoreQuadrivalentValue;
        rootExpressionId: string;
        rootValue: TCoreQuadrivalentValue;
    }