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