kdrag.rewrite.rewrite1_rule

kdrag.rewrite.rewrite1_rule(t: ExprRef, rule: RewriteRule, trace: list[tuple[RewriteRule, dict[ExprRef, ExprRef]]] | None = None) → ExprRef | None

Rewrite at root a single time.

Parameters:

• t (ExprRef)

• rule (RewriteRule)

• trace (list[tuple[RewriteRule, dict[ExprRef, ExprRef]]] | None)

Return type:

ExprRef | None