fun y (_,t) -> y @ aux t)
[] l')
[] l) @
- (List.fold_left (
- fun l u ->
+ (List.fold_left
+ (fun l u ->
l @ aux_obj (CicEnvironment.get_obj ~not_jet_cooked:true u
CicUniv.empty_ugraph))
[] v)
in
aux_obj (t,CicUniv.empty_ugraph)
-
+let clean_and_fill uri obj ugraph =
+ let list_of_universes = universes_of_obj obj in
+ let ugraph = CicUniv.clean_ugraph ugraph list_of_universes in
+ let ugraph = CicUniv.fill_empty_nodes_with_uri ugraph uri in
+ ugraph