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 * prefix_attr list)) list lazy_t
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 * prefix_attr list)) list lazy_t