val to_list:
unit ->
- (coerc_carr * coerc_carr * UriManager.uri list) list
+ (coerc_carr * coerc_carr * (UriManager.uri * int) list) list
val add_coercion:
- coerc_carr * coerc_carr * UriManager.uri -> unit
+ coerc_carr * coerc_carr * UriManager.uri * int -> unit
val remove_coercion:
- (coerc_carr * coerc_carr * UriManager.uri -> bool) -> unit
+ (coerc_carr * coerc_carr * UriManager.uri * int -> bool) -> unit
val find_coercion:
- (coerc_carr * coerc_carr -> bool) -> UriManager.uri list
+ (coerc_carr * coerc_carr -> bool) -> (UriManager.uri * int) list
val is_a_coercion: UriManager.uri -> bool
val is_a_coercion': Cic.term -> bool