(coerc_carr * coerc_carr * (UriManager.uri * int * int) list) list
type coerc_db
+val empty_coerc_db : coerc_db
val dump: unit -> coerc_db
val restore: coerc_db -> unit
(coerc_carr * coerc_carr -> bool) -> (UriManager.uri * int) list
val is_a_coercion: Cic.term -> coercion_entry option
+
+val prefer: UriManager.uri -> unit