+class type g_status =
+ object
+ method env_db : db
+ end
+
+class virtual status : string option ->
+ object('self)
+ inherit NCic.status
+ inherit g_status
+ method set_env_db : db -> 'self
+ method set_env_status : #g_status -> 'self
+ end
+
+val set_get_obj : (status -> NUri.uri -> NCic.obj) -> unit
+val set_typecheck_obj : (status -> NCic.obj -> unit) -> unit
+
+val get_checked_obj: #status -> NUri.uri -> NCic.obj
+
+val check_and_add_obj: #status -> NCic.obj -> unit
+
+val get_relevance: #status -> NReference.reference -> bool list