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 552aa36666ee5226c64e2ef5bdc9a7c147f14007..d6ce856bb198cbc58d45b796f3143975030ece73 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -29,7 +29,7 @@ val gref: string
 
 val cast: string
 
-val appl: bool -> string
+val appl: string
 
 val proj: string
 
@@ -45,13 +45,15 @@ val depth: int -> attr
 
 val uri: Entity.uri -> attr
 
+val restricted: bool -> attr
+
 val layer: Layer.status -> Layer.layer -> attr
 
 val name: Entity.bind_attrs -> attr
 
-val main: Entity.bind_attrs -> attr list
+val main: Entity.arity -> attr list
 
-val side: Entity.bind_attrs -> attr list
+val side: Entity.arity -> attr list
 
 val apix: Entity.node_attrs -> attr