X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fxml%2FxmlLibrary.mli;h=28f056f068a6a01f8cacf2e9a8f4584b17768c04;hb=22fd9c98a22929f0319286c0693fcdaee43a72df;hp=ed3f7bb8f8bd110d2983844aabb0cb50daf7c68e;hpb=bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7;p=helm.git

diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.mli b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
index ed3f7bb8f..28f056f06 100644
--- a/helm/software/lambda-delta/src/xml/xmlLibrary.mli
+++ b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
@@ -46,6 +46,8 @@ val uri: Entity.uri -> attr
 
 val arity: int -> attr
 
+val level: Level.level -> attr
+
 val name: Entity.attrs -> attr
 
 val mark: Entity.attrs -> attr