some interfaces improved

[helm.git] / helm / software / lambda-delta / common / library.mli

diff --git a/helm/software/lambda-delta/common/library.mli b/helm/software/lambda-delta/common/library.mli
index 7e3ee1b82985f5113dcb2dcb82ddf98cca7134ff..1a10b6e9d6d86e244fdd805dfc32f4274fd7e7e8 100644 (file)
--- a/helm/software/lambda-delta/common/library.mli
+++ b/helm/software/lambda-delta/common/library.mli
@@ -9,6 +9,6 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val export_item:
-   (Format.formatter -> 'bind Item.obj -> unit) -> 
-   bool -> Hierarchy.graph -> 'bind Item.item -> unit
+val export_unit:
+   (Format.formatter -> 'bind Unit.entry -> unit) -> 
+   bool -> Hierarchy.graph -> 'bind Unit.unit -> unit