]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo_engine.mli
Initial revision
[helm.git] / helm / uwobo / src / ocaml / uwobo_engine.mli
index 378375fa6abd3ad2739c0d2a80fe68525afd2be2..ae47ccad01e732731040cab7f4c5b3f6232db98a 100644 (file)
     @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