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