-type dumpable_refiner_status = {
- refiner_status : refiner_status;
- dump: Serializer.obj list
-}
+class dumpable_status =
+ object
+ inherit status
+ val dump = ([] : Serializer.obj list)
+ method dump = dump
+ method set_dump v = {< dump = v >}
+ method set_dumpable_status
+ : 'status.
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: Serializer.obj list; .. > as 'status -> 'self
+ = fun o -> {< dump = o#dump >}#set_rstatus o
+ end