Index
| Canceller | Worm |
| CollectingProgress | |
| 1 (Type/Class) | Worm |
| 2 (Data Constructor) | Worm |
| collectingProgress | Worm |
| formatProgress | Worm |
| main | Worm |
| Progress | |
| 1 (Type/Class) | Worm |
| 2 (Data Constructor) | Worm |
| Progress_ | Worm |
| RawProgress | |
| 1 (Type/Class) | Worm |
| 2 (Data Constructor) | Worm |
| rawProgress | Worm |
| wormFrameDelayMillis | Worm |
| wormProgress | Worm |
| wormWidth | Worm |
| _wormAnimationFrames | Worm |