+type dump
+
+class type g_dumpable_status =
+ object
+ method dump: dump
+ end
+
+class dumpable_status :
+ object ('self)
+ inherit g_dumpable_status
+ method set_dump: dump -> 'self
+ method set_dumpable_status: #g_dumpable_status -> 'self
+ end
+
+val get_transitively_included: #dumpable_status -> NUri.uri list
+val dump_obj: #dumpable_status as 'status -> obj -> 'status