let uri_is_annuri uri =
Str.string_match (Str.regexp ".*\.ann$") (string_of_uri uri) 0
;;
+
+let bodyuri_of_uri uri =
+ let struri = string_of_uri uri in
+ if Str.string_match (Str.regexp ".*\.con$") (string_of_uri uri) 0 then
+ let newuri = Array.copy uri in
+ newuri.(Array.length uri - 2) <- struri ^ ".body" ;
+ Some newuri
+ else
+ None
+;;
+
+let innertypesuri_of_uri uri =
+ let cicuri = cicuri_of_uri uri in
+ let newuri = Array.copy cicuri in
+ newuri.(Array.length cicuri - 2) <- (string_of_uri cicuri) ^ ".types" ;
+ newuri
+;;