*)
val look_for_coercion :
- UriManager.uri -> UriManager.uri -> Cic.term option
+ Cic.term -> Cic.term -> Cic.term option
+(* also adds them to the Db *)
val close_coercion_graph:
UriManager.uri -> UriManager.uri -> UriManager.uri ->
(UriManager.uri * Cic.obj * CicUniv.universe_graph) list
+