in
let universe,status =
List.fold_left add_to_universe
- (status.GrafiteTypes.universe,status)
+ (status.GrafiteTypes.automation_cache.AutomationCache.univ,status)
uris_to_index
in
+ let cache = { status.GrafiteTypes.automation_cache with AutomationCache.univ = universe } in
{status with
GrafiteTypes.objects = uri :: lemmas @ status.GrafiteTypes.objects;
- GrafiteTypes.universe = universe},
+ GrafiteTypes.automation_cache = cache },
lemmas
let add_coercion ~pack_coercion_obj ~add_composites status uri arity
CoercDb.restore past.GrafiteTypes.coercions;
;;
-let initial_status baseuri = {
+let initial_status lexicon_status baseuri = {
GrafiteTypes.moo_content_rev = [];
proof_status = GrafiteTypes.No_proof;
objects = [];
coercions = CoercDb.empty_coerc_db;
- universe = Universe.empty;
+ automation_cache = AutomationCache.empty;
baseuri = baseuri;
- ng_status = None;
+ ng_status = GrafiteTypes.CommandMode lexicon_status;
}