+let index_eq uri status =
+ let eq_status = status#eq_cache in
+ let eq_status1 = NCicParamod.index_obj eq_status uri in
+ status#set_eq_cache eq_status1
+;;
+
+let record_index_eq =
+ let basic_index_eq uri
+ ~refresh_uri_in_universe
+ ~refresh_uri_in_term
+ = index_eq uri
+ in
+ NCicLibrary.Serializer.register#run "index_eq"
+ object(_ : 'a NCicLibrary.register_type)
+ method run = basic_index_eq
+ end
+;;
+
+let index_eq_for_auto status uri =
+ if NnAuto.is_a_fact_obj status uri then
+ let newstatus = index_eq uri status in
+ if newstatus == status then status
+ else
+ (prerr_endline ("recording " ^ (NUri.string_of_uri uri));
+ let dump = record_index_eq uri :: newstatus#dump
+ in newstatus#set_dump dump)
+ else
+ (prerr_endline "Not a fact";
+ status)
+;;