'Widget.widget ->
object
  val abstraction : Widget.checkbutton Widget.widget
  val mutable abstractionString : string
  val compound : Widget.checkbutton Widget.widget
  val mutable compoundString : string
  val mutable depthEntry : Widget.entry Widget.widget
  val mutable depthLabel : Widget.label Widget.widget
  val frame2 : Widget.frame Widget.widget
  val frame3 : Widget.frame Widget.widget
  val mutable lst : Widget.listbox Widget.widget
  val optimized : Widget.checkbutton Widget.widget
  val mutable optimizedString : string
  val optionLabel : Widget.label Widget.widget
  val mutable solverLabel : Widget.label Widget.widget
  method destroy : unit
  method execution : string -> Widget.text Widget.widget -> unit
  method init : unit
end