lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 lines (4 loc) • 125 B

text/typescript

export function requireUncached(module: string) { delete require.cache[require.resolve(module)] return require(module) }