- new attributes system

[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 9db373c4724a76cae9f8a391833478e1eb20fc01..19ce4cfe3564357aca2e74695807f847f46e0fdc 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -16,9 +16,9 @@ type attr = string * string
 type pp = och -> int -> unit
 
 val export_entity: ('term -> pp) -> 'term Entity.entity -> unit
-
+(*
 val export_csys: Ccs.csys -> unit
-
+*)
 val tag: string -> attr list -> ?contents:pp -> pp 
 
 val sort: string
@@ -45,12 +45,10 @@ val uri: Entity.uri -> attr
 
 val level: Level.level -> attr
 
-val name: Entity.attrs -> attr
-
-val apix: Entity.attrs -> attr
+val name: Entity.node_attrs -> attr
 
-val mark: Entity.attrs -> attr
+val apix: Entity.node_attrs -> attr
 
-val meta: Entity.attrs -> attr
+val meta: Entity.root_attrs -> attr
 
-val info: Entity.attrs -> attr list
+val info: Entity.root_attrs -> attr list