-(* it returns the list of composite coercions *)
-(* composite coercions are always declared as such; they are added to the *)
-(* CoercDb adding them to the library is left to the caller *)
-val add_coercion:
- UriManager.uri ->
- (UriManager.uri * Cic.obj) list
-
-val remove_coercion: UriManager.uri -> unit
-