(* *)
(******************************************************************************)
-(* 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