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

Refactorings and snippets for Lean 4

import voca from 'voca'

const { escapeRegExp } = voca

export const replaceEnd = (path: string, endPrev: string, endNext: string) => path.replace(new RegExp(`${escapeRegExp(endPrev)}$`), endNext)