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