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