class type g_status =
object
+ inherit NCicEnvironment.g_status
method lib_db : db
end
inherit g_status
method lib_db: db
method timestamp: timestamp
+ method print_timestamp : unit -> unit
method set_timestamp: timestamp -> 'self
method set_lib_db: db -> 'self
method set_lib_status: #g_status -> 'self
val time_travel: #status -> unit
-val init: unit -> unit
+val init: string option -> unit
type obj
type dump