update in helena

[helm.git] / helm / software / helena / src / xml / xmlLibrary.mli

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index ed7901f57789de19c5b87a3f825d2cc531871020..d6ce856bb198cbc58d45b796f3143975030ece73 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+IFDEF OBJECTS THEN
+
 type och = string -> unit
 
 type attr = string * string
@@ -39,16 +41,24 @@ val void: string
 
 val position: int -> attr
 
+val depth: int -> attr
+
 val uri: Entity.uri -> attr
 
+val restricted: bool -> attr
+
 val layer: Layer.status -> Layer.layer -> attr
 
-val name: Entity.node_attrs -> attr
+val name: Entity.bind_attrs -> attr
 
-val apix: Entity.node_attrs -> attr
+val main: Entity.arity -> attr list
 
-val kind: Entity.node_attrs -> attr
+val side: Entity.arity -> attr list
+
+val apix: Entity.node_attrs -> attr
 
 val meta: Entity.root_attrs -> attr
 
 val info: Entity.root_attrs -> attr list
+
+END