Interface TBindingClassificationBase

interface TBindingClassificationBase {
    boundArgumentVersion: number;
    boundAspect: "statement" | "inference";
    boundExpressionId: string;
    premises: TBindingPremiseUse[];
    variableId: string;
}

Index

Properties

boundArgumentVersion boundAspect boundExpressionId premises variableId

Properties

boundArgumentVersion

boundArgumentVersion: number

The version of the answered argument the variable is bound to now.

boundAspect

boundAspect: "statement" | "inference"

boundExpressionId

boundExpressionId: string

The bound expression, as the variable names it before any rebase.

premises

premises: TBindingPremiseUse[]

Every premise dropping the variable would remove.

variableId

variableId: string