helm/software/components/ng_kernel/nCicEnvironment.ml

   1
   2 let get_checked_obj reference =
   3   let ouri = NReference.ouri_of_reference reference in
   4   let o,_ =
   5     CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph
   6       ouri
   7   in
   8     OCic2NCic.convert_obj o