sig
  module Choice :
    sig
      val tactical : Tactical.tactical
      val strategy :
        ?priority:float -> Tactical.selection -> Strategy.strategy
    end
  module Absurd :
    sig
      val tactical : Tactical.tactical
      val strategy :
        ?priority:float -> Tactical.selection -> Strategy.strategy
    end
  module Contrapose :
    sig
      val tactical : Tactical.tactical
      val strategy :
        ?priority:float -> Tactical.selection -> Strategy.strategy
    end
end