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