X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo_engine.mli;h=ae47ccad01e732731040cab7f4c5b3f6232db98a;hb=687cbab38e29872274431145d61637da4f672065;hp=bf18e63083119fe828fb73f0a04a267bd75844d9;hpb=6c555e40c353451ae479b8be5a31f67517682122;p=helm.git

diff --git a/helm/uwobo/src/ocaml/uwobo_engine.mli b/helm/uwobo/src/ocaml/uwobo_engine.mli
index bf18e6308..ae47ccad0 100644
--- a/helm/uwobo/src/ocaml/uwobo_engine.mli
+++ b/helm/uwobo/src/ocaml/uwobo_engine.mli
@@ -32,6 +32,10 @@
     @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.sysLogger ->
@@ -40,5 +44,5 @@ val apply:
   params: (string -> (string * string) list) ->
   props: (string * string) list ->
   input: Gdome.document ->
-  Gdome.document
+  (out_channel -> unit) * string option * string option