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 =
let univno = fst
let univuri = function
- | _,None -> assert false
+ | _,None -> UriManager.uri_of_string "cic:/fake.con"
| _,Some u -> u