(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
class status :
- object
+ object ('self)
inherit LexiconEngine.status
inherit NRstatus.dumpable_status
+ method set_estatus:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: NRstatus.Serializer.obj list;
+ lstatus: LexiconEngine.lexicon_status; .. > -> 'self
end