- NCicLibrary.time_travel (GrafiteTypes.get_estatus past)
-;;
-
-let initial_status lexicon_status baseuri =
- new GrafiteTypes.status [] GrafiteTypes.No_proof []
- CoercDb.empty_coerc_db (AutomationCache.empty ())
- baseuri (GrafiteTypes.CommandMode (new NEstatus.status))