module GuiConfig:sig
..end
class provers :string ->
object
..end
class dp_chooser :main:Design.main_window_extension_points -> available:provers -> enabled:provers ->
object
..end
type
mprover =
| |
NoProver |
| |
AltErgo |
| |
Coq |
| |
Why3ide |
| |
Why3 of |
class dp_button :available:provers -> enabled:provers ->
object
..end