module Project_manager: sig .. end
sig
end
No function is exported. Extension of the GUI in order to support project switching.