sig
val
term_compare :
Term
.term
->
Term
.context
->
Term
.term
->
Term
.context
->
int
end