import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaim } from "../../schemata/index.js";
import type { TCoreArgumentRoleState } from "../../types/evaluation.js";
export type TValidatorContext = {
    argument: TCoreArgument;
    premises: readonly TCorePremise[];
    expressions: readonly TCorePropositionalExpression[];
    variables: readonly TCorePropositionalVariable[];
    claims: readonly TCoreClaim[];
    roleState: TCoreArgumentRoleState;
};
//# sourceMappingURL=context.d.ts.map