'Widget.widget ->
object
  val lst : Widget.listbox Widget.widget
  val optionLabel : Widget.label Widget.widget
  val search : Widget.label Widget.widget
  val simplify : Widget.checkbutton Widget.widget
  val mutable simplifyString : string
  val untyped : Widget.checkbutton Widget.widget
  val mutable untypedString : string
  val verbose : Widget.checkbutton Widget.widget
  val mutable verboseString : string
  method destroy : unit
  method execution : string -> Widget.text Widget.widget -> unit
  method init : unit
end