checkpoints.d.ts