neighborhood UriTbl.t * UriManager.uri
* (UriManager.uri -> UriManager.uri list) * bool
- let dummy =
+ let dummy : t =
UriTbl.create 0, UriManager.uri_of_string "cic:/a.con",
(fun _ -> []), false
function
| [] -> ()
| uri :: tl ->
- let suri = UriManager.string_of_uri uri in
+ let nice = UriManager.strip_xpointer in
+ let suri = UriManager.string_of_uri (nice uri) in
Pp.node suri
~attrs:([ "href", UriManager.string_of_uri uri;
"label", label_of_uri uri
List.iter
(fun dest ->
let uri1, uri2 = if invert then dest, uri else uri, dest in
- Pp.edge (UriManager.string_of_uri uri1)
- (UriManager.string_of_uri uri2) fmt)
+ Pp.edge (UriManager.string_of_uri (nice uri1))
+ (UriManager.string_of_uri (nice uri2)) fmt)
adjacency;
new_nodes := adjacency
end;