Module refresh_manager 

Structs

GlobalRefreshTableProgressTracker

RefreshManager

High level design for refresh table

SingleTableRefreshProgressTracker

Statics

REFRESH_TABLE_PROGRESS_TRACKER

Global, per-table refresh progress tracker.