- | `HBugs `Tutors -> "hbugs:/tutors/"
- | `Metadata meta ->
- "metadata:/" ^
- (match meta with
- | `Deps (dir, uri) ->
- "deps/" ^
- let suri =
- let suri = UriManager.string_of_uri uri in
- let len = String.length suri in
- String.sub suri 4 (len - 4) in (* strip "cic:" prefix *)
- (match dir with | `Fwd -> "forward" | `Back -> "backward") ^ suri)
- | `Uri uri -> UriManager.string_of_uri uri