lean4-code-actions/libs/utils/string/withSuffix.ts

Refactorings and snippets for Lean 4

export const withSuffix = ($name: string, $suffix: string) => $suffix ? $name + ' ' + $suffix : $name

// eslint-disable-next-line @typescript-eslint/ban-types
export const withSuffixF = (func: Function, $suffix: string) => withSuffix(func.name, $suffix)