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.