Wp.TacRewrite
Built-in Range Tactical (auto-registered)
type dir = [
| `Left
| `Right
]
val tactical : dir -> Tactical.tactical
val strategy : ?priority:float -> dir -> Tactical.selection -> Strategy.strategy