val update: ?logger:logger_callback -> unit -> unit
val getxml : ?format:encoding -> ?patch_dtd:bool -> string -> string
val getxslt : ?patch_dtd:bool -> string -> string
val update: ?logger:logger_callback -> unit -> unit
val getxml : ?format:encoding -> ?patch_dtd:bool -> string -> string
val getxslt : ?patch_dtd:bool -> string -> string
val remove_server: ?logger:logger_callback -> int -> unit
val getalluris: unit -> string list
val getallrdfuris: [ `Forward | `Backward ] -> string list
val remove_server: ?logger:logger_callback -> int -> unit
val getalluris: unit -> string list
val getallrdfuris: [ `Forward | `Backward ] -> string list
val close_maps: unit -> unit
val update_from_one_server: ?logger:logger_callback -> string -> unit
val has_server: int -> bool (* does a server with a given position exists? *)
val close_maps: unit -> unit
val update_from_one_server: ?logger:logger_callback -> string -> unit
val has_server: int -> bool (* does a server with a given position exists? *)