(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-class type ctstatus =
- object ('self)
- inherit LexiconEngine.status
- inherit NRstatus.dumpable_status
- method set_estatus: ctstatus -> 'self
- end
-
-class status : ctstatus =
+class status =
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)
+ method set_estatus
+ : 'status.
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: NRstatus.Serializer.obj list;
+ lstatus: LexiconEngine.lexicon_status; .. > as 'status -> 'self
+ = fun o -> (self#set_lexicon_engine_status o)#set_dumpable_status o
end