The left parameters coming from the constructor types have been refined in a

[helm.git] / helm / software / components / ng_refiner / nRstatus.mli

diff --git a/helm/software/components/ng_refiner/nRstatus.mli b/helm/software/components/ng_refiner/nRstatus.mli
index 522d7e901b396d373db8b98674ba5eae9f690954..40974aac21c08b68c9d614de44edaae8fa24a349 100644 (file)
--- a/helm/software/components/ng_refiner/nRstatus.mli
+++ b/helm/software/components/ng_refiner/nRstatus.mli
@@ -11,11 +11,18 @@
 
 (* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
 
-class status :
+class type g_status =
  object
-  inherit NCicUnifHint.status
+  inherit NCicCoercion.g_status
+  inherit NCicLibrary.g_status
+ end
+
+class status :
+ object ('self)
   inherit NCicCoercion.status
   inherit NCicLibrary.status
+  inherit g_status
+  method set_rstatus: #g_status -> 'self
  end
 
 module Serializer:
@@ -24,9 +31,16 @@ 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: #g_dumpable_status -> 'self
  end