Module Solve.Solver.I


module I: ItemEq
Structure representing the items.

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