Module Gui_parameters


module Gui_parameters: sig .. end

include Plugin.S