Module InvGen.EqOnly

Graph modules for equivalence-only invgen.

module BoolInvGen : Out

Graph of booleans.

module IntInvGen : Out

Graph of integers.

module RealInvGen : Out

Graph of reals.