Interface TCorePremiseSetDiff<TPremise, TExpr>

interface TCorePremiseSetDiff<
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
> {
    added: TPremise[];
    modified: TCorePremiseDiff<TPremise, TExpr>[];
    removed: TPremise[];
}

Type Parameters

TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression

Index

Properties

added modified removed

Properties

added

added: TPremise[]

modified

modified: TCorePremiseDiff<TPremise, TExpr>[]

removed

removed: TPremise[]