lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (3 loc) • 97 B

text/typescript

export function cloneRegExp(regexp: RegExp) { return new RegExp(regexp.source, regexp.flags) }