kdrag.rewrite.forward_rule

kdrag.rewrite.forward_rule(r: Rule, tgt: BoolRef)

Apply a rule to a target term.

Parameters:

  • r (Rule)

  • tgt (BoolRef)