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 auto_callback =
depth:int ->
width:int ->
Wp.Strategy.heuristic list ->
unit
class autosearch : unit -> object ... end
type callback = depth:int -> Wp.ProofStrategy.strategy option -> unit
class strategies : unit -> object ... end