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

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