some interfaces improved

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

diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_rg/brgOutput.ml
index 47005ec6d4d1b227e2a5c5520f11abc1481c9155..1a0b0650e544cf8b9d79b711fcd1c9023483d58a 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgOutput.ml
+++ b/helm/software/lambda-delta/basic_rg/brgOutput.ml
@@ -88,7 +88,7 @@ and count_term f c e = function
       let f c = B.push (f c) e b in
       count_term_binder f c e b
 
-let count_obj f c = function
+let count_entry f c = function
    | (_, u, B.Abst (_, w)) -> 
       let c = {c with
          eabsts = succ c.eabsts; nodes = succ c.nodes; uris = u :: c.uris
@@ -103,8 +103,8 @@ let count_obj f c = function
       } in
       f c
 
-let count_item f c = function
-   | Some obj -> count_obj f c obj
+let count_unit f c = function
+   | Some entry -> count_entry f c entry
    | None     -> f c
 
 let print_counters f c =
@@ -275,7 +275,7 @@ and exp_bind c frm = function
    | B.Void a      ->
       F.fprintf frm "<Void%a/>" id a
 
-let exp_obj c frm = function
+let exp_entry c frm = function
    | _, u, B.Abst (a, w) -> 
       let str = U.string_of_uri u in
       let a = B.Name (true, U.name_of_uri u) :: a in
@@ -289,5 +289,5 @@ let exp_obj c frm = function
       let a = B.Name (true, U.name_of_uri u) :: a in
       F.fprintf frm "<VOID uri=%S%a/>" str id a
 
-let export_obj frm obj =
-   F.fprintf frm "@,@[<v3>   %a@]@," (exp_obj B.empty_lenv) obj
+let export_entry frm entry =
+   F.fprintf frm "@,@[<v3>   %a@]@," (exp_entry B.empty_lenv) entry