Module Project_manager

module Project_manager: sig .. end

No function is exported. Extension of the GUI in order to support project switching.