Checkpoints
Checkpoints[type]⟹checkpoints
fetches checkpoint names & descriptions from the procedure for the given type.
Checkpoints[procedure]⟹checkpoints
fetches checkpoint names & descriptions from the given procedure.
Checkpoints[type]⟹checkpoints
fetches checkpoint names & descriptions from the procedure for the given type.
Checkpoints[procedure]⟹checkpoints
fetches checkpoint names & descriptions from the given procedure.