in
let inspect_uri main l uri tc v term =
let d = degree term in
- entry_in (Misc.string_of_uriref (uri, tc), main, 2 * v + d - 1) l
+ entry_in (UriManager.string_of_uriref (uri, tc), main, 2 * v + d - 1) l
in
let rec inspect_term main l v term = match term with
Cic.Rel _ -> l