some interfaces improved

[helm.git] / helm / software / lambda-delta / basic_rg / brgSubstitution.mli

diff --git a/helm/software/lambda-delta/basic_rg/brgSubstitution.mli b/helm/software/lambda-delta/basic_rg/brgSubstitution.mli
index 4c5c9c8a7f7ab69920d2b6f54bc2f52cb7768c0e..f20350af607f6864e830e4f35a4432177ffaea44 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgSubstitution.mli
+++ b/helm/software/lambda-delta/basic_rg/brgSubstitution.mli
@@ -10,5 +10,6 @@
       V_______________________________________________________________ *)
 
 val lift: (Brg.term -> 'a) -> int -> int -> Brg.term -> 'a
-
+(*
 val lift_bind: (Brg.bind -> 'a) -> int -> int -> Brg.bind -> 'a
+*)