Module TacRewrite

module TacRewrite: sig .. end
Built-in Range Tactical (auto-registered)

type dir = [ `Left | `Right ] 
val tactical : dir -> Tactical.tactical
val strategy : ?priority:float -> dir -> Tactical.selection -> Strategy.strategy