shaky since no frozen list is there
let o,_ =
CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph ouri
in
let o,_ =
CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph ouri
in
+ (* here we should freeze it *)
false, HExtlib.list_last (OCic2NCic.convert_obj ouri o)
;;
false, HExtlib.list_last (OCic2NCic.convert_obj ouri o)
;;
+let add_obj (u,_,_,_,_ as o) =
+ (* we should unfreeze it *)
+ NUri.UriHash.add cache u o
+;;
+
let get_checked_def = function
| NReference.Ref (_, uri, NReference.Def) ->
(match get_checked_obj uri with
let get_checked_def = function
| NReference.Ref (_, uri, NReference.Def) ->
(match get_checked_obj uri with
val get_checked_obj: NUri.uri -> NCic.obj
val get_obj: NUri.uri -> bool * NCic.obj
val get_checked_obj: NUri.uri -> NCic.obj
val get_obj: NUri.uri -> bool * NCic.obj
+val add_obj: NCic.obj -> unit
val get_checked_def:
NReference.reference ->
val get_checked_def:
NReference.reference ->