Up
Next
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
.