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
typecallback =
depth:int -> width:int -> Strategy.heuristic list -> unit
class strategies :unit ->
object
..end