(text: string)
| 26 | } |
| 27 | |
| 28 | function fallbackTokenize(text: string): string { |
| 29 | return text |
| 30 | .toLowerCase() |
| 31 | .split(/\s+/) |
| 32 | .filter((t) => t.length > 0) |
| 33 | .join(' ') |
| 34 | } |
| 35 | |
| 36 | function escapeToken(token: string): string { |
| 37 | return `"${token.replace(/"/g, '""')}"` |