Module Gui_init


module Gui_init: sig .. end
Very early initialisation step requiered by any GUI. This interface should be empty.