Module StdOrder


module StdOrder: sig .. end
Comparison of terms according to the ISO-Prolog standard total ordering of terms.


The ISO-Prolog standard total ordering of terms orders terms as follows (from the smallest term to the greatest):


val term_compare : Term.term -> Term.context -> Term.term -> Term.context -> int
term_compare term1 context1 term2 context2 compares term1 in context1 and term2 in context2 according to the ISO-Prolog standard term ordering and returns