- the connections between the intermediate language and the "bag"

[helm.git] / helm / software / lambda-delta / src / basic_rg / brg.ml

diff --git a/helm/software/lambda-delta/src/basic_rg/brg.ml b/helm/software/lambda-delta/src/basic_rg/brg.ml
index 0386523091c059e828b02ceed2e86d3e0ca62623..be4e6f9b97269bfb262229981cdae00c9e167c4e 100644 (file)
--- a/helm/software/lambda-delta/src/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/src/basic_rg/brg.ml
@@ -16,7 +16,6 @@ module E = Entity
 module N = Level
 
 type uri = E.uri
-type id = E.id
 type attrs = E.attrs
 
 type bind = Void                   (*             *)
@@ -73,8 +72,3 @@ let get e i = get i e
 let rec fold_right f map e x = match e with   
    | Null              -> f x
    | Cons (e, c, a, b) -> fold_right (map f e c a b) map e x
-
-(* used in MetaBrg.unwind_to_xlate_term *)
-let rec fold_left map x = function
-   | Null              -> x
-   | Cons (e, _, a, b) -> fold_left map (map x a b) e