Values in Antescofo are totally ordered. The order between two elements of different types is implementation dependent. However, the order on numeric is as expected (numeric ordering: the integers are embedded in the decimals). For two argument of the same type, the ordering is as expected (lexicographic ordering for string, and tab, etc.).