Module TacHavoc.Havoc

module Havoc: sig .. end

val field : Tactical.selection Tactical.field
val tactical : Tactical.tactical
val strategy : ?priority:float ->
havoc:Tactical.selection -> addr:Tactical.selection -> Strategy.strategy