Module TacChoice

module TacChoice: sig .. end
Built-in Choice, Absurd & Contrapose Tactical (auto-registered)

module Choice: sig .. end
module Absurd: sig .. end
module Contrapose: sig .. end