module I: ItemEq
ItemEq
type t
val eq : t -> t -> bool
t -> t -> bool
val to_string : t -> string
t -> string