module StdOrder:Comparison of terms according to the ISO-Prolog standard total ordering of terms.sig
..end
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