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