new xml exportation procedure for basic_rg (10 times faster than previous). the stati...

[helm.git] / helm / software / lambda-delta / dual_rg / drgOutput.mli

diff --git a/helm/software/lambda-delta/dual_rg/drgOutput.mli b/helm/software/lambda-delta/dual_rg/drgOutput.mli
index cceeba195b4168adff0082f95b10100ac865ff70..e02161b131df080428a96efb65fa77e0af8ab972 100644 (file)
--- a/helm/software/lambda-delta/dual_rg/drgOutput.mli
+++ b/helm/software/lambda-delta/dual_rg/drgOutput.mli
@@ -10,3 +10,5 @@
       V_______________________________________________________________ *)
 
 val export_term: Drg.term -> Library.pp
+
+val pp_term: (string -> unit) -> Drg.term -> unit