+type timestamp
+
+class type g_status =
+ object
+ method timestamp: timestamp
+ end
+
+class status :
+ object ('self)
+ inherit g_status
+ method set_timestamp: timestamp -> 'self
+ method set_library_status: #g_status -> 'self
+ end
+
+(* it also checks it and add it to the environment *)
+val add_obj: #status as 'status -> NCic.obj -> 'status
+val add_constraint:
+ #status as 'status -> NCic.universe -> NCic.universe -> 'status
+val aliases_of: NUri.uri -> NReference.reference list
+val resolve: string -> NReference.reference list
+(* warning: get_obj may raise (NCicEnvironment.ObjectNotFoud l) *)
+val get_obj: NUri.uri -> NCic.obj (* changes the current timestamp *)