MAL.empty
in
rank := fall keys;
+ let res = ref [] in
MAL.iter
(fun k v ->
- prerr_endline (string_of_universe k ^ " = " ^ string_of_int v)) !rank
+ if not (List.mem v !res) then res := v::!res;
+ prerr_endline (string_of_universe k ^ " = " ^ string_of_int v)) !rank;
+ !res
;;
let get_rank u =