class dp_chooser :main:Design.main_window_extension_points -> available:provers -> enabled:provers ->
object
..end
val mutable provers : (ProverWhy3.dp * bool) list
method private enable : ProverWhy3.dp -> bool -> unit
method private lookup : ProverWhy3.dp -> bool
method private entry : ProverWhy3.dp -> Toolbox.entry
method private configure : ProverWhy3.dp list -> unit
method private detect : unit -> unit
method private select : unit -> unit
method run : unit -> unit