Module Register_gui

module Register_gui: sig .. end
Extension of the GUI for the impact plugin.


No function is directly exported: this module simply extends the GUI.