sig
  module type CandGen =
    sig
      val mine :
        bool -> bool -> TransSys.t -> (TransSys.t * Term.TermSet.t) list
    end
  module Bool : CandGen
  module Int : CandGen
  module Real : CandGen
end