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