- data
-;;
-
-let index_obj_for_auto status (uri, height, _, _, kind) =
- (*prerr_endline (string_of_int height);*)
- let data = compute_keys status uri height kind in
- let status = basic_index_obj data status in
- let dump = record_index_obj data :: status#dump in
- status#set_dump dump
-;;
-
-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 (NCicLibrary.refresh_uri uri)