'a Widget.widget ->
object
val goals : Widget.checkbutton Widget.widget
val mutable goalsString : string
val mutable initString : string
val inits : Widget.checkbutton Widget.widget
val optionLabel : Widget.label Widget.widget
val rules : Widget.checkbutton Widget.widget
val mutable rulesString : string
val types : Widget.checkbutton Widget.widget
val mutable typesString : string
method destroy : unit
method execution : string -> Widget.text Widget.widget -> unit
method init : unit
end