Hello caml-list, Why doesn't (<) check for physical equality before traversing the structures? --Jacques L.