(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-val compare_terms : 'a Terms.foterm -> 'a Terms.foterm -> Terms.comparison
+module Orderings (B : Terms.Blob) :
+ sig
+
+ (* This order relation should be:
+ * - stable for instantiation
+ * - total on ground terms
+ *
+ * The output can range only on Eq, Lt, Gt, Incomparable
+ *)
+ val compare_terms :
+ B.t Terms.foterm -> B.t Terms.foterm -> Terms.comparison
+
+ end