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