val buri_of_uri : uri -> string (* base uri only, without trailing '/' *)
(* given an uri, returns the uri of the corresponding cic file, *)
val buri_of_uri : uri -> string (* base uri only, without trailing '/' *)
(* given an uri, returns the uri of the corresponding cic file, *)