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