Previous
Up
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.