(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-class status =
- object
+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