Module GuiTactic

module GuiTactic: sig .. end

class type composer = object .. end

class type browser = object .. end

class tactic : Tactical.t -> (Stdlib.Format.formatter -> Tactical.selection -> unit) -> object .. end

type callback = depth:int -> width:int -> Strategy.heuristic list -> unit 

class strategies : unit -> object .. end