- method set_dumpable_status
- : 'status.
- < coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- timestamp: NCicLibrary.timestamp;
- dump: Serializer.obj list; .. > as 'status -> 'self
- = fun o -> {< dump = o#dump >}#set_rstatus o
+ method set_dumpable_status : 'status. #g_dumpable_status as 'status -> 'self
+ = fun o -> (self#set_dump o#dump)#set_rstatus o