(raw: str | None)
| 364 | |
| 365 | |
| 366 | def _parse_csv_ints(raw: str | None) -> list[int]: |
| 367 | if not raw: |
| 368 | return [] |
| 369 | values: list[int] = [] |
| 370 | for chunk in raw.split(","): |
| 371 | chunk = chunk.strip() |
| 372 | if not chunk: |
| 373 | continue |
| 374 | values.append(int(chunk)) |
| 375 | return values |
| 376 | |
| 377 | |
| 378 | def _parse_csv_strings(raw: str | None) -> list[str]: |