import type { Select } from './select.js';
import type { FormulaApplication } from './formula.js';
import type { RuleApplication } from './rule.js';
import type { RuleRecursion } from '../syntax.js';
import type { Negation } from './negation.js';
import type { Join } from './join.js';
export * from '../api.js';
export type Constraint = Select | FormulaApplication | RuleApplication;
export type Conjunct = Select | FormulaApplication | Join | Negation | RuleApplication | RuleRecursion;
export type { Join };
//# sourceMappingURL=plan.d.ts.map