]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/xml.mli
Reshaped structure of ocaml/ libraries.
[helm.git] / helm / ocaml / xml / xml.mli
index 43547eaa03fdbc5a1aadeeea11bc5f29b9594ab4..4feca7503f9e91d7722afa419f4c212420ceaa18 100644 (file)
@@ -71,3 +71,5 @@ val pp_to_string : token Stream.t -> string
 
 val add_xml_declaration: token Stream.t -> token Stream.t
 
+val strip_xml_headings: string -> string
+