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