val set_rstatus : NRstatus.refiner_status -> status -> status
val set_hstatus : NCicUnifHint.db -> status -> status
val set_library_db : NCicLibrary.timestamp -> status -> status
val set_rstatus : NRstatus.refiner_status -> status -> status
val set_hstatus : NCicUnifHint.db -> status -> status
val set_library_db : NCicLibrary.timestamp -> status -> status