import type { Policy } from "./policy.js";
/** The rules `base` has and `saved` lacks, keyed by effect. An effect the
 *  saved policy already decides outright is left out: a rule added after
 *  its catch-all could never match.
 *
 *  A saved `"*"` rule with no `match` decides every interrupt the
 *  effect's own rules do not. An effect-specific rule is checked before
 *  the wildcard, so adding one would overturn the wildcard's decision.
 *  Such a policy is missing nothing. */
export declare function missingPolicyRules(saved: Policy, base: Policy): Policy;
/** `saved` with `additions` appended per effect. Appended, never put in
 *  front: the first match wins, so every rule the user already has,
 *  a reject included, keeps deciding what it decided before. */
export declare function appendPolicyRules(saved: Policy, additions: Policy): Policy;