class tactic :InheritsTactical.t -> (Format.formatter -> Tactical.selection -> unit) ->
object
..end
Wpalette.tool
feedback
method clear : unit
method targeted : bool
method select : process:(Tactical.tactical -> Tactical.selection -> Tactical.process -> unit) ->
browser:(browser -> unit) ->
composer:(composer -> unit) ->
tree:ProofEngine.tree -> Tactical.selection -> unit