InvGenGraph.EqOnly
Graph modules for equivalence only.
module Bool : Graph
Graph of booleans.
module Int : Graph
Graph of integers.
module Real : Graph
Graph of reals.