(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
+class type g_status =
+ object
+ inherit LexiconEngine.g_status
+ inherit NCicLibrary.g_dumpable_status
+ end
+
class status :
object ('self)
inherit LexiconEngine.status
- inherit NRstatus.dumpable_status
- method set_estatus: status -> 'self
+ inherit NCicLibrary.dumpable_status
+ inherit g_status
+ method set_estatus: #g_status -> 'self
end