module Checkpoint

All of the Checkpoint components are contained within this top-level module.