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