sig
type
t
val
eq :
Solve
.
ItemEq
.t
->
Solve
.
ItemEq
.t
->
bool
end