- bug fix in the static analyzer allows better Pi/forall separation (exportation...

[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 4ac5dc913413a9ab0c9f20bfec7c8bb2c2bbffe0..e49d0e8d8323913dbccc870cc82afc55b2b9ca3b 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -45,9 +45,11 @@ val layer: Layer.status -> Layer.layer -> attr
 
 val name: Entity.node_attrs -> attr
 
-val apix: Entity.node_attrs -> attr
+val main: Entity.node_attrs -> attr list
+
+val side: Entity.node_attrs -> attr list
 
-val kind: Entity.node_attrs -> attr
+val apix: Entity.node_attrs -> attr
 
 val meta: Entity.root_attrs -> attr