let term_cmp = Term.cmp