object ('self)
method timestamp: timestamp
method set_timestamp: timestamp -> 'self
- method set_library_status: status -> 'self
+ method set_library_status: <timestamp: timestamp; ..> -> 'self
end
val add_obj: #status as 'status -> NUri.uri -> NCic.obj -> 'status
module Serializer(S: sig type status end): Serializer with type status= S.status
+val init: unit -> unit
+
(* EOF *)