* a constant applyed that is marked with (`Class `Coercion) *)
val is_composite: Cic.term -> bool
-
val source_of: Cic.term -> Cic.term
val generate_dot_file: unit -> string
+val meets :
+ CoercDb.coerc_carr -> CoercDb.coerc_carr ->
+ CoercDb.coerc_carr list
+