kdrag.rewrite.rewrite_star

kdrag.rewrite.rewrite_star(t: ExprRef, rules: list[RewriteRule], trace=None) → ExprRef

Repeat rewrite until no more rewrites are possible.

Parameters:

• t (ExprRef)

• rules (list[RewriteRule])

Return type:

ExprRef