helm/software/components/ng_kernel/nCicEnvironment.ml

   1 let cache = NUri.UriHash.create 313;;
   2
   3 let get_checked_obj u =
   4   try NUri.UriHash.find cache u
   5   with Not_found ->
   6     let ouri = NUri.ouri_of_nuri u in
   7     let o,_ =
   8       CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph
   9         ouri in
  10     let no = OCic2NCic.convert_obj ouri o in
  11     NUri.UriHash.add cache u no;
  12     no
  13 ;;