inherit NCicUnifHint.status
inherit NCicCoercion.status
inherit NCicLibrary.status
- method set_rstatus: status -> 'self
+ method set_rstatus:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp; .. > -> 'self
end
module Serializer:
inherit status
method dump: Serializer.obj list
method set_dump: Serializer.obj list -> 'self
- method set_dumpable_status: dumpable_status -> 'self
+ method set_dumpable_status:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: Serializer.obj list; .. > -> 'self
end