Module `InvGenGraph.EqOnly`

Graph modules for equivalence only.

module Bool : Graph

Graph of booleans.

module Int : Graph

Graph of integers.

module BV (L : sig ... end) : Graph

Graph of bitvectors.

module UBV (L : sig ... end) : Graph

Graph of unsigned bitvectors.

module Real : Graph

Graph of reals.