Type Alias TCorePremiseInferenceDiagnostic

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