'a Widget.widget ->
object
val agent : Widget.checkbutton Widget.widget
val mutable agentString : string
val frame2 : Widget.frame Widget.widget
val knowledgeLabel : Widget.label Widget.widget
val mutable levelEntry : Widget.entry Widget.widget
val mutable levelLabel : Widget.label Widget.widget
val optionLabel : Widget.label Widget.widget
val mutable rads : Widget.radiobutton Widget.widget list
val tv : Textvariable.textVariable
val verificationLabel : Widget.label Widget.widget
method destroy : unit
method execution : string -> Widget.text Widget.widget -> unit
method init : unit
end