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

diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.mli b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
index 28f056f06..ebd4157d9 100644
--- a/helm/software/lambda-delta/src/xml/xmlLibrary.mli
+++ b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
@@ -15,8 +15,9 @@ type attr = string * string
 
 type pp = och -> int -> unit
 
-val export_entity:
-   ('term -> pp) -> bool -> string -> 'term Entity.entity -> unit
+val export_entity: ('term -> pp) -> 'term Entity.entity -> unit
+
+val export_csys: Ccs.csys -> unit
 
 val tag: string -> attr list -> ?contents:pp -> pp 
 
@@ -44,7 +45,7 @@ val offset: int -> attr
 
 val uri: Entity.uri -> attr
 
-val arity: int -> attr
+val arity: ?n:int -> 'a list -> attr
 
 val level: Level.level -> attr