some interfaces improved

[helm.git] / helm / software / lambda-delta / basic_ag / bagOutput.ml

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index d6633bcd863b5a3615972af0f8175c9459472118..eb3bf05d90bea375409a45151bebe76c936b11c7 100644 (file)
--- a/helm/software/lambda-delta/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.ml
@@ -62,7 +62,7 @@ and count_term f c = function
       let f c = count_term_binder f c b in
       count_term f c t
 
-let count_obj_binder f c = function
+let count_entry_binder f c = function
    | B.Abst w -> 
       let c = {c with eabsts = succ c.eabsts} in
       count_term f c w
@@ -71,11 +71,11 @@ let count_obj_binder f c = function
       count_term f c v
    | B.Void   -> f c
 
-let count_obj f c (_, _, b) =
-   count_obj_binder f c b
+let count_entry f c (_, _, b) =
+   count_entry_binder f c b
 
-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 =