Class GuiConfig.provers

class provers : [Why3.Whyconf.Sprover.t] Widget.selector