Module Register_gui

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

Responses of the GUI to user actions. Built by the Select functor.