module From_register_gui: sig .. end
sig
end
Extension of the GUI in order to support the from analysis. No function is exported.