'a 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