+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