(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-type extra_status = {
- lstatus : LexiconEngine.status;
- rstatus : NRstatus.dumpable_refiner_status;
-}
-
+class status =
+ object
+ inherit LexiconEngine.status
+ inherit NRstatus.dumpable_status
+ end