Class GuiTactic.strategies

method register : Wp.ProofStrategy.strategy -> unit
method connect : ?hints:Wp.ProofStrategy.strategy list -> callback option -> unit