* http://cs.unibo.it/helm/.
*)
+type coercions = (UriManager.uri * UriManager.uri * UriManager.uri) list
+
val look_for_coercion :
UriManager.uri -> UriManager.uri -> Cic.term option
val close_coercion_graph:
UriManager.uri -> UriManager.uri -> UriManager.uri ->
(UriManager.uri * Cic.obj * CicUniv.universe_graph) list
+
+val get_coercions_list:
+ unit -> (UriManager.uri * UriManager.uri * UriManager.uri) list
+