(* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
+class type g_status =
+ object
+ inherit NCicCoercion.g_status
+ inherit NCicLibrary.g_status
+ end
+
class status :
object ('self)
- inherit NCicUnifHint.status
inherit NCicCoercion.status
inherit NCicLibrary.status
- method set_rstatus: status -> 'self
+ inherit g_status
+ method set_rstatus: #g_status -> 'self
end
module Serializer:
val require: baseuri:NUri.uri -> (#status as 'status) -> 'status
end
+class type g_dumpable_status =
+ object
+ inherit g_status
+ method dump: Serializer.obj list
+ end
+
class dumpable_status :
object ('self)
inherit status
- method dump: Serializer.obj list
+ inherit g_dumpable_status
method set_dump: Serializer.obj list -> 'self
- method set_dumpable_status: dumpable_status -> 'self
+ method set_dumpable_status: #g_dumpable_status -> 'self
end