(* This module implements the Coercions transitive closure *)
+val set_close_coercion_graph :
+ (CoercDb.coerc_carr -> CoercDb.coerc_carr -> UriManager.uri -> int ->
+ string (* baseuri *) ->
+ (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri *
+ int (* saturations *) * Cic.obj * int (* arity *) * int (* cpos *)) list)
+ -> unit
+
val close_coercion_graph:
- RefinementTool.kit ->
- CoercDb.coerc_carr -> CoercDb.coerc_carr -> UriManager.uri ->
- (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri * Cic.obj) list
+ CoercDb.coerc_carr -> CoercDb.coerc_carr -> UriManager.uri -> int ->
+ string (* baseuri *) ->
+ (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri *
+ int (* saturations *) * Cic.obj * int (* arity *) * int (* cpos *)) list