Class type GuiTactic.browser

class type browser = object .. end

method title : string
method descr : string
method target : Tactical.selection
method search : (unit Tactical.named -> unit) -> int -> bool
method choose : string option -> unit