new intermediate language complete_rg,

[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 7b3a476c3347728f931845cb28ee8d3c897b5e24..9db373c4724a76cae9f8a391833478e1eb20fc01 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -41,12 +41,8 @@ val void: string
 
 val position: int -> attr
 
-val offset: int -> attr
-
 val uri: Entity.uri -> attr
 
-val arity: ?n:int -> 'a list -> attr
-
 val level: Level.level -> attr
 
 val name: Entity.attrs -> attr