(* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
-class status :
- object ('self)
- inherit NCicUnifHint.status
- inherit NCicCoercion.status
- inherit NCicLibrary.status
- method set_rstatus:
- < coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- timestamp: NCicLibrary.timestamp; .. > -> 'self
- end
+class type g_status = NCicCoercion.status
-module Serializer:
- sig
- include NCicLibrary.Serializer with type status = status
- val require: baseuri:NUri.uri -> (#status as 'status) -> 'status
- end
+class status : NCicCoercion.status
-class dumpable_status :
- object ('self)
- 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