Minor change.

[helm.git] / helm / software / components / library / coercDb.mli

diff --git a/helm/software/components/library/coercDb.mli b/helm/software/components/library/coercDb.mli
index d8a8b0574de506f222da61acfb073f9074723896..5f455c2af97dd6146bddeebd64c0f281ce0b6334 100644 (file)
--- a/helm/software/components/library/coercDb.mli
+++ b/helm/software/components/library/coercDb.mli
@@ -60,6 +60,8 @@ val find_coercion:
   (coerc_carr * coerc_carr -> bool) -> UriManager.uri list 
     
 val is_a_coercion: UriManager.uri -> bool
+val is_a_coercion': Cic.term -> bool
+val is_a_coercion_to_funclass: Cic.term -> int option
 val get_carr: UriManager.uri -> coerc_carr * coerc_carr
 
 val term_of_carr: coerc_carr -> Cic.term