let empty_ugraph = empty_bag, UriManager.UriSet.empty, false
let oblivion_ugraph = empty_bag, UriManager.UriSet.empty, true
+(* FG: default choice for a ugraph ??? *)
+let default_ugraph = oblivion_ugraph
let current_index_anon = ref (-1)
let current_index_named = ref (-1)
in
rank := fall keys;
let res = ref [] in
+ let resk = ref [] in
MAL.iter
(fun k v ->
- if not (List.mem v !res) then res := v::!res;
- prerr_endline (string_of_universe k ^ " = " ^ string_of_int v)) !rank;
- !res
+ if not (List.mem v !res) then res := v::!res;
+ resk := k :: !resk) !rank;
+ !res, !resk
;;
let get_rank u =