Type Alias TReactiveSnapshot<TArg, TPremise, TExpr, TVar>

type TReactiveSnapshot<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> = {
    argument: TArg;
    premises: Record<string, TReactivePremiseSnapshot<TPremise, TExpr>>;
    roles: TCoreArgumentRoleState;
    variables: Record<string, TVar>;
}

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Index

Properties

argument premises roles variables

Properties

argument

argument: TArg

premises

premises: Record<string, TReactivePremiseSnapshot<TPremise, TExpr>>

roles

roles: TCoreArgumentRoleState

variables

variables: Record<string, TVar>