*)
- (** THIS MODULE SHOULD BE USED ONLY BY CoercGraph **)
+ (** THIS MODULE SHOULD BE USED ONLY BY CoercGraph/CicCoercion/librarySync
+ *
+ * and may be merged with CicCoercion...
+ *
+ * **)
(** XXX WARNING: non-reentrant *)
val is_a_coercion: UriManager.uri -> bool
val get_carr: UriManager.uri -> coerc_carr * coerc_carr
-
+val term_of_carr: coerc_carr -> Cic.term