some interfaces improved

[helm.git] / helm / software / lambda-delta / toplevel / metaOutput.ml

diff --git a/helm/software/lambda-delta/toplevel/metaOutput.ml b/helm/software/lambda-delta/toplevel/metaOutput.ml
index 4cec084b69c1241e544e151799aaad3ef4cecd38..a8560ab1821bb2cda20813229f81414300948ee2 100644 (file)
--- a/helm/software/lambda-delta/toplevel/metaOutput.ml
+++ b/helm/software/lambda-delta/toplevel/metaOutput.ml
@@ -77,17 +77,17 @@ let count_entry f c = function
       let f c = count_term f c w in
       Cps.list_fold_left f count_par c pars
 
-let count_item f c = function
+let count_unit f c = function
    | Some e -> count_entry f c e
    | None   -> f c
 
 let print_counters f c =
    let terms = c.tsorts + c.tlrefs + c.tgrefs + c.tappls + c.tabsts in
    let pars = c.pabsts + c.pappls in
-   let items = c.eabsts + c.eabbrs in
+   let entries = c.eabsts + c.eabbrs in
    let nodes = c.nodes + c.xnodes in
    L.warn (P.sprintf "  Intermediate representation summary");
-   L.warn (P.sprintf "    Total entry items:        %7u" items);
+   L.warn (P.sprintf "    Total entries:            %7u" entries);
    L.warn (P.sprintf "      Declaration items:      %7u" c.eabsts);
    L.warn (P.sprintf "      Definition items:       %7u" c.eabbrs);
    L.warn (P.sprintf "    Total parameter items:    %7u" pars);
@@ -150,6 +150,6 @@ let pp_entry frm (l, pars, uri, u, body) =
    F.fprintf frm "@[%u@@%s%a%a:%a@]@\n%!" 
       l (U.string_of_uri uri) pp_pars pars pp_body body pp_term u
 
-let pp_item f frm = function 
+let pp_unit f frm = function 
    | Some entry -> pp_entry frm entry; f ()
    | None       -> f ()