(values)
| 175 | } |
| 176 | |
| 177 | function toArraySet(values) { |
| 178 | const unique = []; |
| 179 | for (const value of values) { |
| 180 | if (!unique.includes(value)) unique.push(value); |
| 181 | } |
| 182 | return unique; |
| 183 | } |
| 184 | |
| 185 | function parseCharClassChar(body, state) { |
| 186 | const ch = body[state.index]; |