* http://helm.cs.unibo.it/
*)
-val clean_baseuris : ?verbose:bool -> basedir:string -> string list -> unit
+val set_decompile_cb: (baseuri: string -> unit) -> unit
+
+val db_uris_of_baseuri : string -> string list
+val clean_baseuris : ?verbose:bool -> string list -> unit