(* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
-type refiner_status = {
- coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- library_db : NCicLibrary.timestamp;
- dump: refiner_status -> refiner_status
-}
+class type g_status = NCicCoercion.status
+
+class status : NCicCoercion.status
+