(* *)
(******************************************************************************)
+(* raw_get : uri -> dest_file -> () *)
+val raw_get : string -> string -> unit
+
(* get : uri -> filename *)
(* If uri is the URI of an annotation, the annotated object is processed *)
val get : UriManager.uri -> string