(* $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;
-}
+class type g_status = NCicCoercion.status
-module Serializer: NCicLibrary.Serializer with type status = refiner_status
+class status : NCicCoercion.status
-type dumpable_refiner_status = {
- refiner_status : refiner_status;
- dump: Serializer.obj list
-}