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