Previous
Up
Module
Register_gui
module
Register_gui:
sig
..
end
Extension of the GUI in order to support the value analysis. No function is exported.
Core of the graphical interface.