module type ItemEq = sig end
sig end
Solve.Make
type t
val eq : t -> t -> bool
t -> t -> bool
eq x y
true
x
y
false