sig
module Havoc :
sig
val field : Tactical.selection Tactical.field
val tactical : Tactical.tactical
val strategy :
?priority:float ->
havoc:Tactical.selection ->
addr:Tactical.selection -> Strategy.strategy
end
module Separated :
sig
val tactical : Tactical.tactical
val strategy :
?priority:float -> Tactical.selection -> Strategy.strategy
end
end