-let initial_status lexicon_status baseuri = {
- GrafiteTypes.moo_content_rev = [];
- proof_status = GrafiteTypes.No_proof;
- objects = [];
- coercions = CoercDb.empty_coerc_db;
- automation_cache = AutomationCache.empty ();
- baseuri = baseuri;
- ng_status = GrafiteTypes.CommandMode {
- NEstatus.lstatus = lexicon_status;
- NEstatus.rstatus = {
- NRstatus.uhint_db = NCicUnifHint.empty_db;
- NRstatus.coerc_db = NCicCoercion.empty_db;
- NRstatus.library_db = NCicLibrary.time0;
- NRstatus.dump = fun x -> x;
- };
- }
-}
-
-
-let init baseuri =