Module Wp_gui.GuiTactic

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