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