(* $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 status :
+ object ('self)
+ inherit NCicUnifHint.status
+ inherit NCicCoercion.status
+ inherit NCicLibrary.status
+ method set_rstatus:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp; .. > -> 'self
+ end
-module Serializer: NCicLibrary.Serializer with type status = refiner_status
+module Serializer:
+ sig
+ include NCicLibrary.Serializer with type status = status
+ val require: baseuri:NUri.uri -> (#status as 'status) -> 'status
+ end
-type dumpable_refiner_status = {
- refiner_status : refiner_status;
- dump: Serializer.obj list
-}
+class dumpable_status :
+ object ('self)
+ inherit status
+ method dump: Serializer.obj list
+ method set_dump: Serializer.obj list -> 'self
+ method set_dumpable_status:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: Serializer.obj list; .. > -> 'self
+ end