Module InvGenMiner

module InvGenMiner: sig .. end
Module generating candidate terms for invariant generation.

module type CandGen = sig .. end
module Bool: CandGen 
Bool candidate term miner.
module Int: CandGen 
Real candidate term miner.
module Real: CandGen