- simpler attribute system

[helm.git] / helm / software / helena / src / common / alpha.mli

diff --git a/helm/software/helena/src/common/alpha.mli b/helm/software/helena/src/common/alpha.mli
index cf0fafd05b77cc0d69003b1aef1e73b5a307603b..e1ea7a726b40d365f49e473b26ef78f06c319047 100644 (file)
--- a/helm/software/helena/src/common/alpha.mli
+++ b/helm/software/helena/src/common/alpha.mli
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val alpha: ((unit -> Entity.node_attrs) -> (unit -> Entity.node_attrs) -> 
-            'a -> Entity.node_attrs -> Entity.node_attrs
+val alpha: ((unit -> Entity.bind_attrs) -> (unit -> Entity.bind_attrs) -> 
+            'a -> Entity.bind_attrs -> Entity.bind_attrs
            ) ->
-           'a -> Entity.node_attrs -> Entity.node_attrs
+           'a -> Entity.bind_attrs -> Entity.bind_attrs