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