* For details, see the HELM World-Wide-Web page,
* http://cs.unibo.it/helm/.
*)
+
+ (** XXX WARNING: non-reentrant *)
+
+val use_coercions: bool ref (** initial status is true *)
- val to_list:
+val to_list:
unit ->
(UriManager.uri * UriManager.uri * UriManager.uri) list