let compare_lo u v = Pervasives.compare u.lo v.lo