kdrag.rewrite.backward_rule

kdrag.rewrite.backward_rule(r: Rule, tgt: BoolRef) → tuple[dict[ExprRef, ExprRef], BoolRef] | None

Apply a rule to a target term.

Parameters:

• r (Rule)

• tgt (BoolRef)

Return type:

tuple[dict[ExprRef, ExprRef], BoolRef] | None