Module TacCut

module TacCut: sig .. end

Built-in Cut Tactical (auto-registered)


type mode = 
| CASES
| MODUS
val fmode : mode Tactical.field
val tactical : Tactical.tactical
val strategy : ?priority:float -> ?modus:bool -> Tactical.selection -> Strategy.strategy