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

Refactorings and snippets for Lean 4

export interface Repr {
  name: string
  value: string
}