'Widget.widget ->
object
  val mutable entryDepth : Widget.entry Widget.widget
  val mutable entryPath : Widget.entry Widget.widget
  val f : Widget.frame Widget.widget
  val mutable hf1 : Widget.frame Widget.widget
  val mutable hf2 : Widget.frame Widget.widget
  val mutable labelDepth : Widget.label Widget.widget
  val mutable labelPath : Widget.label Widget.widget
  val optionLabel : Widget.label Widget.widget
  val session : Widget.checkbutton Widget.widget
  val mutable sessionString : string
  method destroy : unit
  method execution : string -> Widget.text Widget.widget -> unit
  method init : unit
end