Module Gui_init

module Gui_init: sig .. end
Very early initialisation step required by any GUI. This interface should be empty.
Consult the Plugin Development Guide for additional details.