(* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
class status :
- object
- inherit NCicUnifHint.status
+ object ('self)
inherit NCicCoercion.status
inherit NCicLibrary.status
+ 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:
+ < coerc_db : NCicCoercion.db;
+ uhint_db : NCicUnifHint.db;
+ timestamp: NCicLibrary.timestamp;
+ dump: Serializer.obj list; .. > -> 'self
end