type timestamp
+class type g_status =
+ object
+ method timestamp: timestamp
+ end
+
class status :
object ('self)
- method timestamp: timestamp
+ inherit g_status
method set_timestamp: timestamp -> 'self
- method set_library_status: <timestamp: timestamp; ..> -> 'self
+ method set_library_status: #g_status -> 'self
end
(* it also checks it and add it to the environment *)