Type Alias TColumnReference

TColumnReference:
    | { claimId: string; kind: "claim" }
    | {
        argumentId: string;
        aspect: TBoundAspect;
        expressionId: string;
        kind: "expression";
    }
    | {
        argumentId: string;
        argumentVersion: number;
        kind: "premise";
        premiseId: string;
    }

One column of the search a check runs: one thing that is true or false on its own. Two occurrences of one claim, in the argument answered or across links, are one column.

Type Declaration

{ claimId: string; kind: "claim" }
{
    argumentId: string;
    aspect: TBoundAspect;
    expressionId: string;
    kind: "expression";
}
An expression of another argument that is not expanded: an inference, or a binding further back.
{
    argumentId: string;
    argumentVersion: number;
    kind: "premise";
    premiseId: string;
}
A premise of another argument, bound from outside it.

Type Alias TColumnReference

Type Declaration

Settings