(* *)
(******************************************************************************)
-(** Functions that should be moved in another module **)
-exception IllFormedUri of string
-val string_of_cic_textual_parser_uri : CicTextualParser0.uri -> string
-val cic_textual_parser_uri_of_string : string -> CicTextualParser0.uri
+val domImpl : Gdome.domImplementation
+val helmns : Gdome.domString
+
+val strip_xml_headings: string -> string
-val wrong_xpointer_format_from_wrong_xpointer_format' : string -> string