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