Module Gui_parameters


module Gui_parameters: sig .. end

include Plugin.S
module Undo: Plugin.BOOL