]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/ng_kernel/nCicEnvironment.ml
9f75f147c3e50b6f359eb419fec00a82d41a027d
[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.ml
1
2 let get_checked_obj nuri =
3   let ouri = Obj.magic nuri in
4   let o,_ = 
5     CicEnvironment.get_cooked_obj ~trust:true CicUniv.oblivion_ugraph 
6       ouri 
7   in
8     OCic2NCic.convert_obj o