let
print_project_and_worklist fmt proj =
print_project fmt proj;
print_proj_worklist fmt proj