X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo_engine.mli;h=ae47ccad01e732731040cab7f4c5b3f6232db98a;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=378375fa6abd3ad2739c0d2a80fe68525afd2be2;hpb=beaf9a3cb95519e68e5806ac2f8a45b480d8e5ac;p=helm.git

diff --git a/helm/uwobo/src/ocaml/uwobo_engine.mli b/helm/uwobo/src/ocaml/uwobo_engine.mli
index 378375fa6..ae47ccad0 100644
--- a/helm/uwobo/src/ocaml/uwobo_engine.mli
+++ b/helm/uwobo/src/ocaml/uwobo_engine.mli
@@ -32,13 +32,17 @@
     @param props xml:output properties
     @param input URI of input document
     @param channel on which write final output
+    @return a triple: 1st element is a function that takes an out_channel and
+    write the result document on it, 2nd element is a string option representing
+    the desired media-type, 3rd is a string option representing the desired
+    encoding
   *)
 val apply:
-  logger: Uwobo_logger.processingLogger ->
+  logger: Uwobo_logger.sysLogger ->
   styles: Uwobo_styles.styles ->
   keys: string list ->
   params: (string -> (string * string) list) ->
   props: (string * string) list ->
   input: Gdome.document ->
-  Gdome.document
+  (out_channel -> unit) * string option * string option