* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception Bad_request of string
exception Unresolvable_URI of string
exception Invalid_URI of string
exception Invalid_URL of string
exception Invalid_RDF_class of string
exception Internal_error of string
+exception Cache_failure of string
+exception Dtd_not_found of string (* dtd's url *)
+exception Key_already_in of string;;
+exception Key_not_found of string;;
+exception Http_client_error of string * string (* url, error message *)
+exception Unsupported_scheme of string (** unsupported url scheme *)
-type encoding = Enc_normal | Enc_gzipped
-type answer_format = Fmt_text | Fmt_xml
-type ls_flag = Yes | No | Ann
+type encoding = [ `Normal | `Gzipped ]
+type answer_format = [ `Text | `Xml ]
+type ls_flag = No | Yes | Ann
type ls_object =
{
uri: string;
module StringSet = Set.Make (String)
+type prefix_attr = [ `Read_only | `Legacy ]
+