'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