InvGenMiner
module type CandGen = sig ... end
Module generating candidate terms for invariant generation.
module Bool : CandGen
Bool candidate term miner.
module Int : CandGen
Integer candidate term miner.
module Real : CandGen
Real candidate term miner.