import type { SupergraphVisitorMap } from "../../composition/visitor.js";
import type { SupergraphState } from "../../state.js";
import type { SupergraphValidationContext } from "../validation-context.js";
export declare function SatisfiabilityRule(context: SupergraphValidationContext, supergraphState: SupergraphState): SupergraphVisitorMap;
//# sourceMappingURL=satisfiablity-rule.d.ts.map