lean4-code-actions/libs/utils/rewrite.ts

Refactorings and snippets for Lean 4

export interface Rewrite<T> {
  from: T
  to: T
}