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

Refactorings and snippets for Lean 4

export interface Pair<T> {
  left: T
  right: T
}