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 =