let
compare_hi u v =
Pervasives
.compare u.hi v.hi