* http://helm.cs.unibo.it/
*)
+open Http_getter_types
+
(** {2 general information} *)
val version : string (* getter version *)
val dtd_dir : string lazy_t (* DTDs' root directory *)
val port : int lazy_t (* port on which getter listens *)
val dtd_base_urls : string list lazy_t (* base URLs for document patching *)
-val prefixes : (string * string) list lazy_t (* prefix map uri -> url *)
+val prefixes : (string * (string * prefix_attr list)) list lazy_t
+ (* prefix map uri -> url + attrs *)
(* {2 derived data} *)