exception MD5sum_Mismatch
val is_db : 'a * ('b, 'b * 'b) Hashtbl.t -> (string * ('c * 'b)) list -> bool
val create : unit -> ('a, 'b) Hashtbl.t * ('c, 'd) Hashtbl.t
val set_cache :
  (string,
   (string * string, (string * ('a * string)) list * 'b * bool) Hashtbl.t)
  Hashtbl.t * 'c -> (string * ('a * string)) list -> 'b -> unit
val get_cache :
  (string,
   (string * string, (string * ('a * string)) list * 'b * bool) Hashtbl.t)
  Hashtbl.t * 'c -> (string * ('d * string)) list -> 'b
val add :
  (string,
   (string * string,
    (string * ('a * string)) list * (string * ('b * string)) list * bool)
   Hashtbl.t)
  Hashtbl.t * (string, string * string) Hashtbl.t ->
  (string * ('a * string)) list -> unit