(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-type extra_status = {
- lstatus : LexiconEngine.status;
- rstatus : NRstatus.refiner_status;
-}
+class type g_status =
+ object
+ inherit LexiconEngine.g_status
+ inherit NCicLibrary.g_dumpable_status
+ end
+class status :
+ object ('self)
+ inherit LexiconEngine.status
+ inherit NCicLibrary.dumpable_status
+ inherit g_status
+ method set_estatus: #g_status -> 'self
+ end