(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 *)) list)
+ int (* saturations *) * Cic.obj * int (* arity *) * int (* cpos *)) list)
-> unit
val 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 *) ) list
+ int (* saturations *) * Cic.obj * int (* arity *) * int (* cpos *)) list