class dp_chooser : main:Design.main_window_extension_points -> provers:provers -> object .. end
main:Design.main_window_extension_points -> provers:provers ->
object
end
method run : unit -> unit
unit -> unit