import type { TCorePropositionalExpression, TCorePropositionalVariable } from "../../schemata/index.js";
import type { TCoreValidationResult } from "../../types/evaluation.js";
import type { TPremiseReadContext } from "./read-context.js";
/**
 * Whether a premise can be evaluated: a tree with a root the premise agrees
 * on, every variable declared, and every operator and formula holding the
 * number of children its kind requires. Warns on a variable bound to a
 * premise with no tree.
 */
export declare function validatePremiseEvaluability<TExpr extends TCorePropositionalExpression, TVar extends TCorePropositionalVariable>(ctx: TPremiseReadContext<TExpr, TVar>): TCoreValidationResult;
//# sourceMappingURL=evaluability.d.ts.map