class box : Widget.frame Widget.widget -> string -> string -> string -> string -> box option ->
object
.. end
val mutable f : Widget.frame Widget.widget
val mutable f_left : Widget.frame Widget.widget
val mutable f_left_top : Widget.frame Widget.widget
val mutable f_left_down : Widget.frame Widget.widget
val mutable f_center : Widget.frame Widget.widget
val mutable f_center_top : Widget.frame Widget.widget
val mutable f_center_down : Widget.frame Widget.widget
val mutable l : Widget.label Widget.widget
val mutable entry_1 : Widget.entry Widget.widget
val mutable center_lst : Widget.listbox Widget.widget
val mutable center_lst_v : Widget.scrollbar Widget.widget
val mutable decomp_message : string list
val mutable knowledge : string list
val mutable l0 : string list
val mutable l0_rec : string Pervasives.ref
val mutable l_w : box option list
val mutable is_an_atom : bool
val mutable click_i : int
method message_refinment : box option -> unit
method init : unit
method destroy : unit
method get_choice : string