Class Interface.atseOption


class atseOption : 'a Widget.widget -> object .. end

val optionLabel : Widget.label Widget.widget
val simplify : Widget.checkbutton Widget.widget
val mutable simplifyString : string
val untyped : Widget.checkbutton Widget.widget
val mutable untypedString : string
val verbose : Widget.checkbutton Widget.widget
val mutable verboseString : string
val search : Widget.label Widget.widget
val lst : Widget.listbox Widget.widget
method init : unit
Initialize the objects of this class
method destroy : unit
Destruct the objects of this class, and the graphical objects builds by the objects of this class
method execution : string -> Widget.text Widget.widget -> unit
Execute ATSE with the parameters of the user