(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-type extra_status = {
- lstatus : LexiconEngine.status;
- rstatus : NRstatus.dumpable_status;
-}
-
+class status :
+ object ('self)
+ inherit LexiconEngine.status
+ inherit NRstatus.dumpable_status
+ method set_estatus:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: NRstatus.Serializer.obj list;
+ lstatus: LexiconEngine.lexicon_status; .. > -> 'self
+ end