(text, *, chars=''.join(map(re.escape, CHAR)))
| 68 | return substring.isdigit() |
| 69 | |
| 70 | def unescape(text, *, chars=&class="cm">#x27;'.join(map(re.escape, CHAR))): |
| 71 | return re.sub(&class="cm">#x27;\\\\([{}])class="st">'.format(chars), '\\1', text) |
| 72 | |
| 73 | if not header: |
| 74 | return None, {} |
no outgoing calls
no test coverage detected