Module From_register_gui

module From_register_gui: sig .. end

Extension of the GUI in order to support the from analysis. No function is exported.