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

Refactorings and snippets for Lean 4

import { last } from 'remeda'

/**
 * Compiled class name is different in dev & prod
 *
 * dev: task.class = "ManualTask"
 * prod: task.class = "ManualTask_ManualTask"
 */
export function getClassName(constructorName: string) {
  return last(constructorName.split('_'))
}