already merged graph)
*)
val merge_ugraphs:
- universe_graph -> universe_graph -> universe_graph
+ base_ugraph:universe_graph ->
+ increment:(universe_graph * UriManager.uri) -> universe_graph
(*
ugraph to xml file and viceversa
*)
val get_spent_time: unit -> float
val reset_spent_time: unit -> unit
+