Module GuiTactic

module GuiTactic: sig .. end

class type composer = object .. end
class type browser = object .. end
class tactic : Tactical.t -> (Format.formatter -> Tactical.selection -> unit) -> object .. end
type callback = depth:int -> width:int -> Strategy.heuristic list -> unit 
class strategies : unit -> object .. end