| T_int i1, T_int i2 -> compare_big_int i1 i2
| T_float f1, T_float f2 -> compare f1 f2
| _ ->
- let value1 = value_as_string value1
- and value2 = value_as_string value2 in
+ let value1 = string_of_variable value1
+ and value2 = string_of_variable value2 in
compare value1 value2
-and value_as_string = function
+and string_of_variable = function
| T_bool b -> string_of_bool b
| T_string s -> s
| T_int i -> string_of_big_int i