infix 4 ==
structure IntItem = 
struct
    type Item = int
    val op == = (op = : int * int -> bool)
    val op >  = (op > : int * int -> bool)
end;