Module 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