(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-type extra_status = {
- lstatus : LexiconEngine.status;
- rstatus : NRstatus.dumpable_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
+ method set_estatus : 'status. #g_status as 'status -> 'self
+ = fun o -> (self#set_lexicon_engine_status o)#set_dumpable_status o
+ end