module Gui_parameters: sig .. end
sig
end
include Plugin.S
module Undo: Parameter_sig.Bool
Parameter_sig.Bool