(* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
class status :
- object
+ object ('self)
inherit NCicUnifHint.status
inherit NCicCoercion.status
inherit NCicLibrary.status
+ method set_rstatus: status -> '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
end