fix for instance

[helm.git] / helm / ocaml / metadata / metadataDb.mli

diff --git a/helm/ocaml/metadata/metadataDb.mli b/helm/ocaml/metadata/metadataDb.mli
index 20f618f8d2bcd783c481cae5c951aedd36d5231a..672c900eb850ea3cb8e04538aeb65624aa929e86 100644 (file)
--- a/helm/ocaml/metadata/metadataDb.mli
+++ b/helm/ocaml/metadata/metadataDb.mli
@@ -35,3 +35,7 @@ val clean: dbd:Mysql.dbd -> string list
 
 val unindex: dbd:Mysql.dbd -> uri:UriManager.uri -> unit
 
+val count_distinct: 
+  [ `Conclusion | `Hypothesis | `Statement] -> 
+  MetadataTypes.metadata list -> 
+    int