Development type aliases

This is the collection of development type aliases within the checkpoints module. There is only one type alias, CheckpointsListenerStats.