let
compare x y =
Pervasives
.compare x.var_vid y.var_vid