module Register_gui: sig .. end
sig
end
Extension of the GUI for the impact plugin.
No function is directly exported: this module simply extends the GUI.