(* DEBUGGING *)
| Render of loc * UriManager.uri (* render library object *)
+let reash_uris =
+ function
+ | Default (loc, name, uris) ->
+ let uris =
+ List.map
+ (fun uri -> UriManager.uri_of_string (UriManager.string_of_uri uri))
+ uris
+ in
+ Default (loc, name, uris)
+ | cmd -> cmd
+
type ('term, 'lazy_term, 'reduction, 'ident) tactical =
| Tactic of loc * ('term, 'lazy_term, 'reduction, 'ident) tactic
| Do of loc * int * ('term, 'lazy_term, 'reduction, 'ident) tactical