Rtauto_plugin
module G_rtauto : sig ... end
module Proof_search : sig ... end
module Refl_tauto : sig ... end