(*args, to=None)
| 597 | |
| 598 | def dis_(start, end): |
| 599 | def print_(*args, to=None): |
| 600 | if to is not None: |
| 601 | labels.add(to) |
| 602 | args += ('(to %d)' % (to,),) |
| 603 | print('%*d%s ' % (offset_width, start, ':' if start in labels else '.'), |
| 604 | end=' '*(level-1)) |
| 605 | print(*args) |
| 606 | |
| 607 | def print_2(*args): |
| 608 | print(end=' '*(offset_width + 2*level)) |