uri_list_diff present.GrafiteTypes.objects past.GrafiteTypes.objects in
List.iter LibrarySync.remove_obj objs_to_remove;
CoercDb.restore past.GrafiteTypes.coercions;
+ NCicLibrary.time_travel (GrafiteTypes.get_library_db past)
;;
let initial_status lexicon_status baseuri = {
NEstatus.rstatus = {
NRstatus.uhint_db = NCicUnifHint.empty_db;
NRstatus.coerc_db = NCicCoercion.empty_db;
+ NRstatus.library_db = NCicLibrary.time0;
+ NRstatus.dump = fun x -> x;
};
}
}