class dp_button :available:provers -> enabled:provers ->
object
..end
method coerce : GObj.widget
method set_enabled : bool -> unit
method private import : unit
method private set_provers : ProverWhy3.dp list -> unit
method private get_selection : mprover -> string
method private set_selection : Wp_parameters.Provers.t -> unit
val mutable last : Wp_parameters.Provers.t
val mutable init : bool
method update : unit -> unit