Module TacFilter

module TacFilter: sig .. end
Built-in Filtering Tactic (auto-registered)

val vanti : bool Tactical.field
val tactical : Tactical.t
val strategy : ?priority:float -> ?anti:bool -> unit -> Strategy.t