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