let last_baseuri = ref ""
-let remove ~verbose uri =
+let remove ?(verbose=false) uri =
let derived_uris_of_uri uri =
UriManager.innertypesuri_of_uri uri ::
UriManager.univgraphuri_of_uri uri ::
(* removes the object from DB, Disk, CoercionsDB, CicEnvironment, getter
* asserts the uri is resolved to file:// so it is only for
- * user's objects *)
-val remove: verbose:bool -> UriManager.uri -> unit
+ * user's objects
+ * @param verbose defaults to false *)
+val remove: ?verbose:bool -> UriManager.uri -> unit
+