]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/xml.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / xml / xml.mli
index a48e7d6b9f033868c40e43e6a7e02b91d0496b8f..43547eaa03fdbc5a1aadeeea11bc5f29b9594ab4 100644 (file)
@@ -63,8 +63,11 @@ val xml_cdata : string -> token Stream.t
 (* The pretty printer for streams of token                                  *)
 (* Usage:                                                                   *)
 (*  pp tokens None     pretty prints the output on stdout                   *)
-(*  pp tokens (Some filename) pretty prints the output on the file filename *)
-val pp : ?quiet:bool -> token Stream.t -> string option -> unit
+(*  pp tokens (Some filename) pretty prints the output on the file filename
+* @param gzip if set to true files are gzipped. Defaults to false *)
+val pp : ?gzip:bool -> token Stream.t -> string option -> unit
 val pp_to_outchan : token Stream.t -> out_channel -> unit
 val pp_to_string : token Stream.t -> string
 
+val add_xml_declaration: token Stream.t -> token Stream.t
+