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