class provers : string -> [ProverWhy3.dp list] Toolbox.selector
string ->
[ProverWhy3.dp list]
Toolbox.selector