Type Alias TValidatorContext

type TValidatorContext = {
    argument: TCoreArgument;
    claims: readonly TCoreClaim[];
    expressions: readonly TCorePropositionalExpression[];
    premises: readonly TCorePremise[];
    roleState: TCoreArgumentRoleState;
    variables: readonly TCorePropositionalVariable[];
}