Module InvGen.EqOnly

module EqOnly: sig .. end
Graph modules for equivalence-only invgen.

module BoolInvGen: InvGen.Out 
Graph of booleans.
module IntInvGen: InvGen.Out 
Graph of integers.
module RealInvGen: InvGen.Out 
Graph of reals.