'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