(* *)
(******************************************************************************)
-(** 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 wrong_xpointer_format_from_wrong_xpointer_format' : string -> string
+
+val domImpl : Gdome.domImplementation
+val helmns : Gdome.domString