Module type Solve.ItemEq


module type ItemEq = sig  end
Input signature of functor Solve.Make representing the variables.

type t 
Type of the items.
val eq : t -> t -> bool
eq x y is true if x = y, otherwise it is false.