*)
val add_obj:
- UriManager.uri -> Cic.obj -> MatitaTypes.status -> MatitaTypes.status
+ UriManager.uri -> Cic.obj ->
+ MatitaTypes.status -> MatitaTypes.status
val time_travel:
present:MatitaTypes.status -> past:MatitaTypes.status -> unit
(DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
MatitaTypes.status
-val compute_diff_and_set_proof_aliases :
- MatitaTypes.status -> DisambiguateTypes.environment -> MatitaTypes.status
-
(* 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
+