functorial abstraction over term blobs

[helm.git] / helm / software / components / ng_paramodulation / orderings.mli

diff --git a/helm/software/components/ng_paramodulation/orderings.mli b/helm/software/components/ng_paramodulation/orderings.mli
index 59cfde124c3468adbbbc7d567fb02d53d4b88880..f2f6a1678ba249bdadfc5d74cbfd41eb7ab659e2 100644 (file)
--- a/helm/software/components/ng_paramodulation/orderings.mli
+++ b/helm/software/components/ng_paramodulation/orderings.mli
@@ -11,4 +11,7 @@
 
 (* $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 
+    val compare_terms : B.t Terms.foterm -> B.t Terms.foterm -> Terms.comparison
+  end