module Register_gui: sig .. end
sig
end
Responses of the GUI to user actions. Built by the Select functor.