[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.ml

let get_checked_obj nuri =
  let ouri = Obj.magic nuri in
  let o,_ = 
    CicEnvironment.get_cooked_obj ~trust:true CicUniv.oblivion_ugraph 
      ouri 
  in
    OCic2NCic.convert_obj o