(data: ReadBuffer)
| 395 | |
| 396 | |
| 397 | def read_int_opt(data: ReadBuffer) -> int | None: |
| 398 | tag = read_tag(data) |
| 399 | if tag == LITERAL_NONE: |
| 400 | return None |
| 401 | assert tag == LITERAL_INT |
| 402 | return read_int_bare(data) |
| 403 | |
| 404 | |
| 405 | def write_int_opt(data: WriteBuffer, value: int | None) -> None: |
no outgoing calls
no test coverage detected
searching dependent graphs…