lean4-code-actions/src/i18n/Lean/Argument/Style.ts

Refactorings and snippets for Lean 4

import { Style } from 'src/utils/Lean/Argument/Style'

export const nameUpper: Record<Style, string> = {
  explicit: 'Explicit',
  implicitStrong: 'Implicit, strong',
  implicitWeak: 'Implicit, weak',
  typeclass: 'Typeclass',
}