Cc_plugin
module Ccalgo : sig ... end
module Ccproof : sig ... end
module Cctac : sig ... end
module G_congruence : sig ... end