-let path_of_uri uri =
- N.concat base (Str.string_after (U.string_of_uri uri) 3)
-
-let pp_head frm =
- F.fprintf frm "<?xml version=%S encoding=%S?>@,@," "1.0" "UTF-8"
-
-let pp_doctype frm =
- F.fprintf frm "<!DOCTYPE ENTITY SYSTEM %S>@,@," system
-
-let open_entity si g frm =
- let opts = if si then "si" else "" in
- let f shp =
- F.fprintf frm "<ENTITY hierarchy=%S options=%S>" shp opts
- in
- H.string_of_graph f g
-
-let close_entity frm =
- F.fprintf frm "</ENTITY>"
-
-let name frm a =
- let f s = function
- | true -> F.fprintf frm " name=%S" s
- | false -> F.fprintf frm " name=%S" ("^" ^ s)
- in
- Y.name C.start f a
-
-let pp_entity pp_term frm = function
- | a, u, Y.Abst w ->
- let str = U.string_of_uri u in
- let a = Y.Name (U.name_of_uri u, true) :: a in
- F.fprintf frm "<ABST uri=%S%a>%a</ABST>" str name a pp_term w
- | a, u, Y.Abbr v ->
- let str = U.string_of_uri u in
- let a = Y.Name (U.name_of_uri u, true) :: a in
- F.fprintf frm "<ABBR uri=%S%a>%a</ABBR>" str name a pp_term v
-
-let pp_boxed pp_term frm entity =
- F.fprintf frm "@,@[<v3> %a@]@," (pp_entity pp_term) entity
+let path_of_uri xdir uri =
+ let base = F.concat xdir base in
+ F.concat base (Str.string_after (U.string_of_uri uri) 3)