X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fpp.mli;h=767c87e0b99610c3bd172e4d68d33ecbe7424ca7;hb=20427121e8114fa60b64bd1669a0fc734bf39205;hp=46c588676628a7e5ffdb5d43fe349e497f8cc3e1;hpb=ddd751449e73a22af523ce78ce1d8f0bb211e941;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/pp.mli b/helm/software/components/ng_paramodulation/pp.mli
index 46c588676..767c87e0b 100644
--- a/helm/software/components/ng_paramodulation/pp.mli
+++ b/helm/software/components/ng_paramodulation/pp.mli
@@ -11,9 +11,13 @@
 
 (* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
 
-val pp_foterm: ('a -> string) -> 'a Terms.foterm -> string
-val pp_proof: ('a -> string) -> 'a Terms.bag -> 'a Terms.proof -> string
-val pp_substitution: ('a -> string) -> 'a Terms.substitution -> string
-val pp_unit_clause: ('a -> string) -> 'a Terms.unit_clause -> string
+module Pp (B : Terms.Blob) : 
+  sig
 
+    val pp_foterm: B.t Terms.foterm -> string
+    val pp_proof: B.t Terms.bag -> B.t Terms.proof -> string
+    val pp_substitution: B.t Terms.substitution -> string
+    val pp_unit_clause: ?margin:int -> B.t Terms.unit_clause -> string
+    val pp_bag: B.t Terms.bag -> string
 
+  end