type timestamp
+type db
+
+class type g_status =
+ object
+ inherit NCicEnvironment.g_status
+ method lib_db : db
+ end
+
class virtual status :
+ string option ->
object ('self)
- inherit NCic.status
+ inherit NCicEnvironment.status
+ 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
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
+val aliases_of: #status -> NUri.uri -> NReference.reference list
+val resolve: #status -> string -> NReference.reference list
+(*
(* warning: get_obj may raise (NCicEnvironment.ObjectNotFoud l) *)
val get_obj: #NCic.status -> NUri.uri -> NCic.obj (* changes the current timestamp *)
+*)
val time_travel: #status -> unit
-val init: unit -> unit
+val init: string option -> unit
type obj
type dump
end
class dumpable_status :
+ string option ->
object ('self)
inherit g_dumpable_status
+ inherit NCicPp.status
+ inherit status
method set_dump: dump -> 'self
method set_dumpable_status: #g_dumpable_status -> 'self
end
type 'a register_type =
'a ->
refresh_uri_in_universe:(NCic.universe -> NCic.universe) ->
- refresh_uri_in_term:(NCic.status -> NCic.term -> NCic.term) ->
+ refresh_uri_in_term:(NCicEnvironment.status -> NCic.term -> NCic.term) ->
refresh_uri_in_reference:(NReference.reference -> NReference.reference) ->
alias_only:bool ->
dumpable_status -> dumpable_status
val require: baseuri:
NUri.uri -> fname:string -> alias_only:bool ->
dumpable_status -> dumpable_status
- val dependencies_of: baseuri:NUri.uri -> string list
+ val dependencies_of: string option -> baseuri:NUri.uri -> string list
end
-module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status val set: dumpable_s -> dumpable_status -> dumpable_s end) :
- SerializerType with type dumpable_status = D.dumpable_s
+module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status
+ val set: dumpable_s -> dumpable_status -> dumpable_s val user : dumpable_s ->
+ string option end) :
+ SerializerType with type dumpable_status = D.dumpable_s
val refresh_uri: NUri.uri -> NUri.uri
-val ng_path_of_baseuri: ?no_suffix:bool -> NUri.uri -> string
+val ng_path_of_baseuri: ?no_suffix:bool -> string option -> NUri.uri -> string
(* EOF *)