kdrag.rewrite.rewrite1

kdrag.rewrite.rewrite1(t: ExprRef, vs: list[ExprRef], lhs: ExprRef, rhs: ExprRef) → ExprRef | None

Rewrite at root a single time.

Parameters: