returns a fresh universe
*)
val fresh:
- unit -> universe
+ ?uri:UriManager.uri ->
+ unit ->
+ universe
(*
really useful at the begin and in all the functions that don't care
* CicEnvironment.restore_from_channel *)
val recons_graph: universe_graph -> universe_graph
+ (** re-hash-cons a single universe *)
+val recons_univ: universe -> universe
+
(** consistency chek that should be done before committin the graph to the
* cache *)
val assert_univs_have_uri: universe_graph -> unit
+ (** asserts the univers is named *)
+val assert_univ: universe -> unit
+
(*
Benchmarking stuff
*)